This excludes commit 040069f4
because it is specific to innodb_sync_debug, which had been removed
in commit ff5d306e.