GLab/ToMaTo — pull request #782 by t-gerhard (2014-08-05 21:23:04+00:00)
Title: Error dump management

Closes #214