From 579c68e876e3a2134bff91b1d949930b15f12a4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Mon, 18 Sep 2023 15:06:59 +0200
Subject: [PATCH] kartei ruby: 131.159.38.101 -> 131.159.38.70

---
 kartei/mic92/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/kartei/mic92/default.nix b/kartei/mic92/default.nix
index 720b362fd..e7d1150c6 100644
--- a/kartei/mic92/default.nix
+++ b/kartei/mic92/default.nix
@@ -844,9 +844,9 @@ in {
       owner = config.krebs.users.mic92;
       nets = rec {
         internet = {
-          # of4.dse.cit.tum.de.
-          ip4.addr = "131.159.38.101";
-          ip6.addr = "2a09:80c0:38::101";
+          # ruby.dse.cit.tum.de.
+          ip4.addr = "131.159.38.70";
+          ip6.addr = "2a09:80c0:38::70";
           aliases = [ "ruby.i" ];
         };
         retiolum = {