https://git.rwth-aachen.de/coscine/issues/-/issues/2782
approved this merge request
mentioned in commit 78c003c6
merged