From 3687b1c6517589c3823782d237dd6c88eb149e6c Mon Sep 17 00:00:00 2001
From: Dmitry Morozovsky
Date: Fri, 5 Aug 2016 12:56:43 +0000
Subject: [PATCH] Add universe12 machines (besides universe12a still not in
service).
M internal/machines.xml
---
en_US.ISO8859-1/htdocs/internal/machines.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/en_US.ISO8859-1/htdocs/internal/machines.xml b/en_US.ISO8859-1/htdocs/internal/machines.xml
index bd77fbc011..f2c968aa62 100644
--- a/en_US.ISO8859-1/htdocs/internal/machines.xml
+++ b/en_US.ISO8859-1/htdocs/internal/machines.xml
@@ -81,7 +81,7 @@ this file.
-universe[11|10|9][a|b] |
+universe[12|11|10|9][a|b] |
X-STABLE |
amd64 |
Universe build machine. |