The changes were merged into dev_cooperatic
The source branch has been removed
enabled an automatic merge when the pipeline for 817df44b succeeds
enabled an automatic merge when the pipeline for 817df44b succeeds
merged
merged
mentioned in commit 53f28cc4
mentioned in commit 53f28cc4
This will create a new commit in order to revert the existing changes.