Merge branch 'doublewrite' into 'master'
Passed
Markus Holzer
created pipeline for commit
09de00cf
, finished
For release/0.2.12
8 minutes 9 seconds, queued for 1 seconds