The changes were merged into dev_cooperatic
The source branch has been removed
added 6 commits
dev_cooperatic
merged
merged
mentioned in commit 05ba2c3d
mentioned in commit 05ba2c3d
This will create a new commit in order to revert the existing changes.