Merge pull request #378 from delroth/interrupts-comments CheckExceptions: add TODO and remove a wrong comment