update Shavit_OnReplaySaved forward to bhoptimer 4.0#1

mourningsickness wants to merge 1 commit intosourcejump:mainsourcejump/plugin-database:mainfrom

mourningsickness:mainmourningsickness/sourcejump-plugin:mainCopy head branch name to clipboard