Finish renaming hosea

2024-04-02 11:17:44 -05:00
parent 109dc2d54d
commit 52c9502911
2 changed files with 1 additions and 1 deletions
@@ -42,7 +42,7 @@ in {
 	jude = unstable { name = "jude"; };
 	icdm-root = unstable { name = "icdm-root"; };
 	linode = machine { name = "linode"; };
-	mm = unstable { name = "mm"; };
+	hosea = unstable { name = "hosea"; };
 	myself = unstable { name = "myself"; };
 	iso = machine { name = "iso"; };
 	iso-beta = unstable { name = "iso"; };