diff options
Diffstat (limited to 'THANKS.head')
| -rw-r--r-- | THANKS.head | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/THANKS.head b/THANKS.head index 52f76f89..b6211f92 100644 --- a/THANKS.head +++ b/THANKS.head @@ -12,7 +12,10 @@ ** 18 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://globalsign.com[GlobalSign] in January 2015 kindly provided free of charge SSL certificates for both jenkins.debian.net and reproducible.debian.net. - * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] is kindly providing and hosting six 'armhf' systems, three quad-cores with 2 GB RAM each and three dual-cores with 1 GB RAM. + * link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] is kindly providing and hosting seven 'armhf' systems: + ** three quad-cores with 2 GB RAM each, + ** one quad-core with 1 GB RAM and + ** three dual-cores with 1 GB RAM. === Contributors |