Project 'andrew.cornell/nfa-pruning-analysis' was moved to 'katherine.cornell/nfa-pruning-analysis'. Please update any links and bookmarks that may still have the old path.
Aufgrund von sicherheitskritischen Patches müssen git.rwth-aachen.de & git-ce.rwth-aachen.de zwischen 15:00 und 16:00 Uhr einem Update unterzogen werden. In der Zeit ist GitLab nur eingeschränkt erreichbar. // Due to severe security patches git.rwth-aachen.de & git-ce.rwth-aachen.de must be upgraded. This will happen today from 15 to 16 am. GitLab will temporarilly unavailable.
approved this merge request
merged
mentioned in commit 84d60c09