Commit 0f0bfdc3 by Kai Westerkamp

small changes

parent c585f438
Pipeline #369 passed with stage
in 54 seconds