Commit 9a51b1295743c11e72f1194d6b83c66de2f2df72

Steffen Jaeckel 2019-10-01T10:37:30

exit instead of segfault