The changes were merged into master with b9a83297
The source branch has been deleted
approved this merge request
mentioned in commit b9a83297
merged
This will create a new commit in order to revert the existing changes.
