The changes were merged into master with 3efa2421
The source branch has been deleted
approved this merge request
enabled an automatic merge when the pipeline for b13e1b31 succeeds
mentioned in commit 3efa2421
merged
Now you can access the merge request navigation tabs at the top, where they’re easier to find.
More information and share feedback
