@timo.koch has a dire need for this on the release branch and I do not see why we shouldnt allow it.
Pipeline #14015 passed
Pipeline passed for 24df77e1 on backport/cmake-labels 6 years ago
Merge details
Pipeline #14197 passed
Pipeline passed for 1abd7783 on releases/2.6 6 years ago
@dominic thanks works for me
fine by me.
merged
mentioned in commit 1abd7783