Labels with double colons does not work

In theory, labels with double column should be mutual exclusive. Practically, I'm able to select two of them, for example Priority::1 and Priority::5.

We have GitLab Enterprise Edition 11.10.1-ee.