Checking pipeline status.
Merge details
Mentions issue #1215 (closed)
Thank you very much for this contribution.
It's all good, I'm merging :)
merged
mentioned in commit f4e4dfe6
