This reverts merge request !57 (merged)
enabled an automatic merge when the pipeline for c87d4b64 succeeds
canceled the automatic merge
Thx.
merged
mentioned in commit 03931e09