Merge branch 'simplification_patch' into 'master'
Warning
Markus Holzer
created pipeline for commit
b2312d53
, finished
For master
67 minutes 48 seconds, queued for 5 seconds