01/03: hydra: Restore node 141.80.167.148.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 634cfde3a992bba010893ca940d299801ca5f432
Author: Ricardo Wurmus <address@hidden>
Date:   Sat Dec 16 16:22:37 2017 +0100

    hydra: Restore node 141.80.167.148.
    
    * hydra/machines-for-berlin.scm (hosts): Enable 141.80.167.148.
---
 hydra/machines-for-berlin.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 7acc8a9..5fbe00c 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -34,9 +34,8 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIJZNXe33AmYuLYRj3l36ISOBARRwWPGmK8Z23Pthy5A+")
     ("141.80.167.147"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFJCI6Q6Jj0Jgzg3EynK2udulD4ut7jOZd8io+PuNJed")
-    ;; This server had a disk failure and needs to be re-installed.
-    ;; ("141.80.167.148"
-    ;;  "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIF4pC34XavKqRy+SUvWTzOyk9EbIMDovDztRIFiEtlyZ")
+    ("141.80.167.148"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIOTaTAJNxFbPQTXjGiQ0+taDGJCirxOTe3vK++jxHTtR")
     ("141.80.167.149"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICdg/NuiqdpbMW1y00AhyqhBr4J6SeVvDKXQ01m97kZj")
     ("141.80.167.150"