Merge branch 'Warnings' of...

Merge branch 'Warnings' of https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free into Warnings
6 jobs for Warnings in 44 minutes and 4 seconds