| commit | bf6b25f0423730ce0981a1dd4fbad122b7ec91ed | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 14:08:51 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 14:08:51 2017 +0200 |
| tree | f1e2300b445624d2acd8d448c40dc5f06788f63f | |
| parent | ce3d3581b025042ccdd738db440c8a0f96328791 [diff] |
Bugfix: Log in exception part causes crash