Merge branch 'fluctuating' into 'master'
Passed
Martin Bauer
created pipeline for commit
946e374e
, finished
For master
8 minutes 59 seconds, queued for 3 seconds