The changes were merged into master with c9a7c4d5
The source branch has been deleted
Allows commits from members who can merge to the target branch
approved this merge request
merged
mentioned in commit c9a7c4d5
This will create a new commit in order to revert the existing changes.
