Checking pipeline status.
Merge details
Closed #102 (closed)
enabled an automatic merge when the pipeline for 5ae37f65 succeeds
mentioned in commit b8689205
merged