The changes were merged into master with 79c1eb43
The source branch has been deleted
approved this merge request
enabled an automatic merge when the pipeline for efa5a5e2 succeeds
canceled the automatic merge
merged
mentioned in commit 79c1eb43
This will create a new commit in order to revert the existing changes.
