Julian Ospald 22a67e22f1 Fix suggestions and bugs spotted by zlin ...

https://galileo.mailstation.de/gerrit/#/c/5864/

2016-05-13 22:41:29 +02:00

..

flint-2.5.2.exheres-0

Fix suggestions and bugs spotted by zlin

2016-05-13 22:41:29 +02:00