Merge branch 'pragmas' into 'master'
Passed
Markus Holzer
created pipeline for commit
57f69df8
, finished
For master
50 minutes 18 seconds, queued for 2 seconds