02/02: hydra: Update IP of berlin build node.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 5a614a95fca3f5c75cdeda23322015ac9ec623b9
Author: Ricardo Wurmus <address@hidden>
Date:   Mon Dec 4 08:04:34 2017 +0100

    hydra: Update IP of berlin build node.
    
    * hydra/machines-for-berlin.scm (hosts): Update IP for host 12.
---
 hydra/machines-for-berlin.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 71df5b5..249d550 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -24,7 +24,7 @@
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIIyuS1MndiMbm3prey/2ccBidoz23nM6DAsurl9Yb7g6")
     ("192.168.0.11"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIEV/kwYw7DSs0SW+2ckl0nGjdOejcYNqx4nylz73DINp")
-    ("192.168.0.12"
+    ("141.80.167.143"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A")
     ("192.168.0.13"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICKjJaVpqc8gQ9mQaxR/q1mp8ph1Dhc3ppc9c0ndCxll")