[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/03: doc: Update external machine owner.
|
From: |
Andreas Enge |
|
Subject: |
02/03: doc: Update external machine owner. |
|
Date: |
Tue, 18 Apr 2023 16:42:29 -0400 (EDT) |
andreas pushed a commit to branch master
in repository maintenance.
commit 779fb7f9b7a60ed0d328b8a9cbfcf06ce6f4dd46
Author: Andreas Enge <andreas@enge.fr>
AuthorDate: Tue Apr 18 22:34:30 2023 +0200
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 |