The changes were merged into dev with 7f4b472f
The source branch has been deleted
merged
mentioned in commit 7f4b472f
This will create a new commit in order to revert the existing changes.
