-
Simon Marlow authored
See comment for details. We no longer use pushInterruptTargetThread/popInterruptTargetThread, so these could go away in due course.
02c4ab04
See comment for details. We no longer use pushInterruptTargetThread/popInterruptTargetThread, so these could go away in due course.