Pipeline #27131 passed
Pipeline passed for 26ec2358 on allow-lecturer-vote 5 years ago
Pipeline #27138 passed
Pipeline passed for 930a8aa3 on master 5 years ago
merged
mentioned in commit 930a8aa3