From b996b6fb13076a29e447ed41100961559b0401d9 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Fri, 18 Mar 2016 18:24:00 -0400 Subject: vagrant hosts 18 nodes --- THANKS.head | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, -- cgit v1.2.3-70-g09d2