Merge branch 'nontemporal' into 'master'
Passed
Markus Holzer
created pipeline for commit
589ca872
, finished
For master
16 minutes 25 seconds, queued for 4 seconds