From a7d91f0f9c4f34758b6de4bac86b5d4c55f5c3c5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 29 May 2014 15:39:08 +0100 Subject: [PATCH] update Infogroep mirror contact --- pkgs/plt-services/meta/new-web/download/data.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/plt-services/meta/new-web/download/data.rkt b/pkgs/plt-services/meta/new-web/download/data.rkt index 08ac867345..3d2564598e 100644 --- a/pkgs/plt-services/meta/new-web/download/data.rkt +++ b/pkgs/plt-services/meta/new-web/download/data.rkt @@ -78,8 +78,8 @@ "crestani@informatik.uni-tuebingen.de"] ["Belgium (Infogroep, Vrije Universiteit Brussel)" "http://racket.infogroep.be/" - "Infogroep" - "research@infogroep.be"] + "Infogroep" ; fallback: Sam Vervaeck + "server@infogroep.be"] #; ["Turkey, Istanbul (Bilgi University)" "http://russell.cs.bilgi.edu.tr/racket-installers/"