Follows iris!387 (merged) Cc @robbertkrebbers @jjourdan
Pipeline #25160 passed
Pipeline passed for 63cf64b6 on master 5 years ago
LGTM
mentioned in commit 63cf64b6
merged
This has already been merged, but, FWIW, I agree with this change.