Gitlab has been upgraded from version 13.4 to 13.5 Friday evening (20201127). Gitlab release notes can be found here (we run the Core release): https://gitlab.com/gitlab-org/gitlab/-/releases

Labels can be applied to issues and merge requests to categorize them.

You can also star a label to make it a priority label.