Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Correct naming error in exception-showing
Late edit to #437 missed a rename of `num` to `exc_num` - code was showing external interrupts successfully, but trapped if faced with an internal exception.
- Loading branch information