The changes were merged into master with 86834d09
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 86834d09
This will create a new commit in order to revert the existing changes.
