This reverts merge request !1283 (merged)
Pipeline #9567636 canceled
Pipeline canceled for 14fd3388 on revert-6da03b12 3 months ago
Pipeline #9568001 failed
Pipeline failed for edc3dd59 on master 3 months ago
enabled an automatic merge when all merge checks for 14fd3388 pass
mentioned in commit edc3dd59
merged manually