From d2ef696d7e14ac74288145d5bd575ae8961278e9 Mon Sep 17 00:00:00 2001
From: Astro <astro@spaceboyz.net>
Date: Sat, 18 Jun 2022 02:09:48 +0200
Subject: [PATCH] host-registry: add server9

---
 host-registry.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/host-registry.nix b/host-registry.nix
index dc28d480..7c0f7a84 100644
--- a/host-registry.nix
+++ b/host-registry.nix
@@ -120,5 +120,6 @@
   # Hack
   rpi-netboot.ip4 = "127.0.0.1";
 
+  server9.ip6 = "server9.cluster.zentralwerk.org";
   server10.ip6 = "server10.cluster.zentralwerk.org";
 }