[gimp-web] content: delete duplicate alias domain for FAU mirror.

[Jehan <jehanp src gnome org>]

commit 0848d827338403fce74dd621119b138e97681e29
Author: Jehan <jehan girinstud io>
Date:   Thu Sep 8 17:25:32 2022 +0200

    content: delete duplicate alias domain for FAU mirror.
    
    As discussed with the admin by email, they both redirect to the same
    server anyway, it's not 2 mirrors provided by the same sponsor. So
    removing the duplicate (ftp.fau.de is the current official name, so
    removing rrze.uni-erlangen.de instead).
    
    The mirror was also removed on mirrorbits obviously.
    
    Also adding a contact email because there is no associated report for
    this mirror and I always have to check my email history. I guess we
    should start filling the json file with contact info.

 content/downloads/mirrors.json | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)
---
diff --git a/content/downloads/mirrors.json b/content/downloads/mirrors.json
index 1fc8b671..78ea14d7 100644
--- a/content/downloads/mirrors.json
+++ b/content/downloads/mirrors.json
@@ -32,14 +32,9 @@
     "Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)": {
       "location": "Erlangen",
       "country": "Germany",
-      "mirrors": [
-                   "https://ftp.fau.de/gimp/";,
-                   "https://ftp.rrze.uni-erlangen.de/gimp/";
-                 ],
-      "ftp": [
-               "ftp://ftp.fau.de/gimp/";,
-               "ftp://ftp.rrze.uni-erlangen.de/gimp/";
-             ],
+      "contact": "RRZE FTP Admins <rrze-ftp-admins fau de>",
+      "mirrors": [ "https://ftp.fau.de/gimp/"; ],
+      "ftp": [ "ftp://ftp.fau.de/gimp/"; ],
       "about": "https://ftp.fau.de/";,
       "more": [ ]
     },