Merge branch 'dont-check-on-every-redraw' into 'master'
Passed
Reiter, Christoph
created pipeline for commit
8b78229d
, finished
For master
2 minutes 7 seconds, queued for 3 seconds