Merge branch 'stencil_util' into 'master'
Passed
Christoph Alt
created pipeline for commit
8e92a559
, finished
For master
31 minutes 12 seconds, queued for 207 seconds