{"action":"created","issue":{"url":"https://api.github.com/repos/dealii/dealii/issues/619","labels_url":"https://api.github.com/repos/dealii/dealii/issues/619/labels{/name}","comments_url":"https://api.github.com/repos/dealii/dealii/issues/619/comments","events_url":"https://api.github.com/repos/dealii/dealii/issues/619/events","html_url":"https://github.com/dealii/dealii/pull/619","id":59323374,"number":619,"title":"More work to make exceptions more meaningful.","user":{"login":"bangerth","id":7504421,"avatar_url":"https://avatars.githubusercontent.com/u/7504421?v=3","gravatar_id":"","url":"https://api.github.com/users/bangerth","html_url":"https://github.com/bangerth","followers_url":"https://api.github.com/users/bangerth/followers","following_url":"https://api.github.com/users/bangerth/following{/other_user}","gists_url":"https://api.github.com/users/bangerth/gists{/gist_id}","starred_url":"https://api.github.com/users/bangerth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bangerth/subscriptions","organizations_url":"https://api.github.com/users/bangerth/orgs","repos_url":"https://api.github.com/users/bangerth/repos","events_url":"https://api.github.com/users/bangerth/events{/privacy}","received_events_url":"https://api.github.com/users/bangerth/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-02-28T03:40:59Z","updated_at":"2015-02-28T21:00:46Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dealii/dealii/pulls/619","html_url":"https://github.com/dealii/dealii/pull/619","diff_url":"https://github.com/dealii/dealii/pull/619.diff","patch_url":"https://github.com/dealii/dealii/pull/619.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/dealii/dealii/issues/comments/76545782","html_url":"https://github.com/dealii/dealii/pull/619#issuecomment-76545782","issue_url":"https://api.github.com/repos/dealii/dealii/issues/619","id":76545782,"user":{"login":"bangerth","id":7504421,"avatar_url":"https://avatars.githubusercontent.com/u/7504421?v=3","gravatar_id":"","url":"https://api.github.com/users/bangerth","html_url":"https://github.com/bangerth","followers_url":"https://api.github.com/users/bangerth/followers","following_url":"https://api.github.com/users/bangerth/following{/other_user}","gists_url":"https://api.github.com/users/bangerth/gists{/gist_id}","starred_url":"https://api.github.com/users/bangerth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bangerth/subscriptions","organizations_url":"https://api.github.com/users/bangerth/orgs","repos_url":"https://api.github.com/users/bangerth/repos","events_url":"https://api.github.com/users/bangerth/events{/privacy}","received_events_url":"https://api.github.com/users/bangerth/received_events","type":"User","site_admin":false},"created_at":"2015-02-28T21:00:46Z","updated_at":"2015-02-28T21:00:46Z","body":"It's an exception you can't catch anyway (it's not thrown via AssertThrow) so I think the actual type doesn't matter very much, just the message we produce. Since we don't replicate the text in multiple places, there doesn't seem to be any advantage to declaring an exception class, compared to just sticking with ExcMessage. So I'd suggest we leave it as is."}}