Merge branch 'fhennig/pragmas' into 'backend-rework'
Passed
Markus Holzer
created pipeline for commit
02965644
, finished
For backend-rework
5 minutes 16 seconds, queued for 3 seconds