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.
Doc: Updated README
coscine/issues#2518
Aufgrund eines Hardware-Upgrades wird git.rwth-aachen.de am 08.07.2025 zwischen 08:30 bis 09:00 Uhr kurz nicht zur Verfügung stehen.
--
Due to a hardware upgrade git.rwth-aachen.de will shorty be unavailable on 08.07.2025 between 08:30 and 09:00 o'clock.
coscine/issues#2518
master
to dev
changed target branch from master
to dev
approved this merge request
mentioned in commit 6293be3e
merged