This reverts merge request !4 (merged)
Merge request pipeline #66546 passed
Merge request pipeline passed for e83aef31 2 years ago
Pipeline #66547 passed
Pipeline passed for 7aa3f447 on master 2 years ago
assigned to @ydayer
Moving this to bob where it is used.
enabled an automatic merge when the pipeline for e83aef31 succeeds
merged
mentioned in commit 7aa3f447