doc: Update external machine owner.

* doc/cuirass.org: dover has changed house.
This commit is contained in:
Andreas Enge 2023-04-18 22:34:30 +02:00
parent 40323fbbe4
commit 779fb7f9b7
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 1 additions and 1 deletions

View File

@ -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 |