Merge branch 'contest2' into 'master'
Warning
Martin Bauer
created pipeline for commit
1fad2d87
, finished
For master
4 minutes 4 seconds, queued for 2 seconds