fix multiple things

This commit is contained in:
Patrick Jentsch committed 2020-10-28 11:21:05 +01:00
1 parent 6757123078
commit 2240657e8c
7 files changed
+13 -11