Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Drop ftp.fau.de, currently broken"
This reverts commit ae9fce0. The mirror is back since 2020-06-08 22:00, see https://blogs.fau.de/ftp/2020/06/04/unplanned-outage-on-june-03/
- Loading branch information