01/01: hydra: berlin: Add two more build hosts.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit de5e0f326932e25308f47ec106b062b7e83ac484
Author: Ricardo Wurmus <address@hidden>
Date:   Fri Oct 6 21:11:13 2017 +0200

    hydra: berlin: Add two more build hosts.
    
    * hydra/machines-for-berlin.scm (hosts): Add hosts 13 and 14.
---
 hydra/machines-for-berlin.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 0ab8d6a..5859b4a 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -25,7 +25,11 @@
     ("192.168.0.11"
      "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIEV/kwYw7DSs0SW+2ckl0nGjdOejcYNqx4nylz73DINp")
     ("192.168.0.12"
-     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A")))
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A")
+    ("192.168.0.13"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAICKjJaVpqc8gQ9mQaxR/q1mp8ph1Dhc3ppc9c0ndCxll")
+    ("192.168.0.14"
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIKN4ElXT6fA85AcrBfvAgDoJ6ySOP2IHSY7aXgZ+QzOH")))
 
 (define template-x86_64
   (match-lambda