coscine/issues#1796
Checking pipeline status.
Merge details
Pipeline #587628 passed
Pipeline passed for 9e6a4d7c on master 3 years ago
For deployment: Remember that the database version string has to be updated!
approved this merge request
merged
mentioned in commit 9e6a4d7c