Merge branch 'master' into 'stable'
Warning
Adrian Rohner
created pipeline for commit
e2781187
, finished
For stable
56 seconds, queued for 3 seconds