philsquared/Catch — pull request #232 by formiaczek (2013-12-17 14:16:04+00:00)
Title: re-added signal handling to the latest Catch (fetched from latest upstream) (re-adding #160)

This is #160 for the latest master branch.