Merge request pipeline #17284 passed
Merge request pipeline passed for 1f7d4b06 2 months ago
Pipeline #17287 passed
Pipeline passed for 68301747 on master 2 months ago
requested review from @grote
Nice, this simplifies things a bit!
mentioned in commit 68301747
merged