kili 8c02305e01 Oops! I disabled a little bit too much here. pPrPr_disableITimers() is
actually needed.

No bump, because ghc is still marked as broken.
2014-11-24 13:39:19 +00:00
..