K 10 svn:author V 3 ian K 8 svn:date V 27 2017-04-09T18:31:33.556487Z K 7 svn:log V 261 Remove some old interrupt handling workaround code from the pre-INTRNG days. At this point, INTRNG is not going away (the option may go away, but the code is not), so we no longer need code to support workarounds that handled the lack of INTRNG functionality. END