https://gitlab.ics.muni.cz/cloud/internal-wiki/-/issues/186 https://gitlab.ics.muni.cz/cloud/internal-wiki/-/issues/192
added 1 deleted label
approved this merge request
merged
mentioned in commit d90c5eed