Merge branch 'nontemporal' into 'master'
Passed
Markus Holzer
created pipeline for commit
147f6901
, finished
For master
11 minutes 4 seconds, queued for 4 seconds