-
Lorenz Huedepohl authored
Instead of listing all prerequisites multiple rules were added for the same target, probably while doing a merge
0b245d01
On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
Instead of listing all prerequisites multiple rules were added for the same target, probably while doing a merge