rueckstiess/mtools — pull request #300 by jimoleary (2014-10-20 20:56:26+00:00)
Title: abnormal termination search

fixes #299