[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

01/04: hydra: Update contact list for

From: Ludovic Courtès
Subject: 01/04: hydra: Update contact list for
Date: Fri, 30 Nov 2018 04:55:54 -0500 (EST)

civodul pushed a commit to branch master
in repository maintenance.

commit 03d6751bfabfd29f78f21d943235c4c697c508a6
Author: Ludovic Courtès <address@hidden>
Date:   Fri Nov 30 10:44:21 2018 +0100

    hydra: Update contact list for
    * hydra/machines.rec ( Add Andreas Korsten.
 hydra/machines.rec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hydra/machines.rec b/hydra/machines.rec
index f2d5456..4815fae 100644
--- a/hydra/machines.rec
+++ b/hydra/machines.rec
@@ -48,6 +48,7 @@ Port: 22
 Physical: Yes
 Location: TUM, Munich, Germany
 Contact: Christian Grothoff <address@hidden>
+Contact: Andreas Korsten <address@hidden>
 Contact: Sree Harsha Totakura <address@hidden>
 Contact: Sree Harsha Totakura <address@hidden>
 SystemType: x86_64-linux

reply via email to

[Prev in Thread] Current Thread [Next in Thread]