This reverts merge request !20 (merged)
Merge request pipeline #52002 passed
Merge request pipeline passed for 5682cc0e 3 years ago
Merge details
Pipeline #52003 passed
Pipeline passed for 137e14b9 on main 3 years ago
enabled an automatic merge when the pipeline for 5682cc0e succeeds
mentioned in commit 137e14b9
merged