| commit | fe68c220a6d415a7a8980a290ecb68b17c00b02f | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 14:08:51 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Jul 11 14:18:02 2017 +0200 |
| tree | 17e190a1f9476d1e2b5779ac8bb2940eb2b34113 | |
| parent | 17e377d1f78e596c32a755aa03316517370321c2 [diff] |
Bugfix: Log in exception part causes crash