coscine/issues#533
Checking pipeline status.
Pipeline #226323 passed
Pipeline passed for f9af3962 on Product/307-searchFunctionality 5 years ago
enabled an automatic merge when the pipeline for 698f3870 succeeds
merged
mentioned in commit f9af3962