Small fixes from the last few -days. Need to get used to doing commits more often.

This commit is contained in:
2020-10-04 11:50:46 +02:00
parent 7b4d16a909
commit df0431aeb7