summaryrefslogtreecommitdiffstats
path: root/THANKS.head
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-03-18 18:24:00 -0400
committerHolger Levsen <holger@layer-acht.org>2016-03-18 18:24:00 -0400
commitb996b6fb13076a29e447ed41100961559b0401d9 (patch)
tree9d4b3da0552cbebc480cda9e2c236640df843614 /THANKS.head
parent43f606f23d621b6d3e222dc7c5183b611ab10174 (diff)
downloadjenkins.debian.net-b996b6fb13076a29e447ed41100961559b0401d9.tar.xz
vagrant hosts 18 nodes
Diffstat (limited to 'THANKS.head')
-rw-r--r--THANKS.head2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS.head b/THANKS.head
index 918ab82c..c52a51a6 100644
--- a/THANKS.head
+++ b/THANKS.head
@@ -11,7 +11,7 @@
** 17 cores and 48 GB memory for profitbricks-build5-amd64.debian.net
** 17 cores and 48 GB memory for profitbricks-build6-amd64.debian.net
** 3 cores and 6 GB memory for freebsd-jenkins.debian.net (also running on Profitbricks virtual hardware)
- * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] provides and hosts 16 'armhf' systems:
+ * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] provides and hosts 18 'armhf' systems:
** three quad-cores with 4 GB RAM each,
** three octo-cores with 2 GB RAM each,
** seven quad-cores with 2 GB RAM each,