Merge branch 'devel/release' into 'master'

Small fix for broken executions

See merge request !65
6 jobs for 2017.12 in 14 minutes and 7 seconds (queued for 1 second)
latest