The changes were merged into dev_cooperatic
The source branch has been removed
changed target branch from dev_principale
to dev_cooperatic
changed target branch from dev_principale
to dev_cooperatic
mentioned in commit 4ebc82f4
mentioned in commit 4ebc82f4
merged
merged
This will create a new commit in order to revert the existing changes.