Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
a + (b SHIFT c) can now be encoded into one instruction. [r27797]