approved this merge request
Thank you for recognizing that! Saves me some work ;-)
merged
mentioned in commit 8f958483