This MR introduces:
Quick fix for menu navigation
https://gitlab.ics.muni.cz/cloud/internal-wiki/-/issues/456
added 1 deleted label
assigned to @433498
approved this merge request
merged
mentioned in commit 475d1fcb
changed the description