Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The backends which support rotl now match for or(shl,shr) patterns.