Merge branch 'pickle' into 'master'
Passed
Markus Holzer
created pipeline for commit
17ea6bd2
, finished
For master
11 minutes 5 seconds, queued for 4 seconds