Merge branch 'routing-cleanup' into 'master'
Passed
Reiter, Christoph
created pipeline for commit
70eeb129
, finished
For master
10 minutes 22 seconds, queued for 10 seconds