The changes were merged into master with 5e0267f4
The source branch has been deleted
enabled an automatic merge when the pipeline for 18fd4d1d succeeds
merged
mentioned in commit 5e0267f4
Now you can access the merge request navigation tabs at the top, where they’re easier to find.