Skip to content

Merge pull request #1047 from mantidproject/catch_unhandled_exception #154

Merge pull request #1047 from mantidproject/catch_unhandled_exception

Merge pull request #1047 from mantidproject/catch_unhandled_exception #154