-
Andreas Zwinkau authored
The backend sometimes creates ProjM with a temporarily broken pn, so the verifier must not check them. [r28392]
a38e5381
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The backend sometimes creates ProjM with a temporarily broken pn, so the verifier must not check them. [r28392]