- /* set default push delay values (corrected since version 3.0.7) */
- if (level->game_version < VERSION_IDENT(3,0,7))
+#if 0
+ /* set default push delay values (corrected since version 3.0.7-1) */
+ if (level->game_version < VERSION_IDENT(3,0,7,1))