precondition 1899793f27 Make IGNORE_MOD_TAP_INTERRUPT the default behaviour for mod-taps (#20211)		2023-04-03 15:32:47 +10:00
..
default	…
trip-trap	…