From 779fb7f9b7a60ed0d328b8a9cbfcf06ce6f4dd46 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Tue, 18 Apr 2023 22:34:30 +0200 Subject: [PATCH] doc: Update external machine owner. * doc/cuirass.org: dover has changed house. --- doc/cuirass.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/cuirass.org b/doc/cuirass.org index d59ed54..c324e56 100644 --- a/doc/cuirass.org +++ b/doc/cuirass.org @@ -18,7 +18,7 @@ network. The next section describes how to add a new external machine. | Machine | Address | Contact | |------------+-----------+-----------------------| | overdrive1 | 10.0.0.3 | Ludovic Courtès | -| dover | 10.0.0.4 | Andreas Enge | +| dover | 10.0.0.4 | Christopher Baines | | guix-x15 | 10.0.0.5 | Simon Josefsson | | guix-x15b | 10.0.0.6 | Simon Josefsson | | guixp9 | 10.0.0.7 | Tobias Geerinckx-Rice |