diff options
| -rw-r--r-- | THANKS.head | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS.head b/THANKS.head index 53ebda90..c6f3befd 100644 --- a/THANKS.head +++ b/THANKS.head @@ -8,6 +8,7 @@ ** 9 cores and 36 GB memory for profitbricks-build2-amd64.debian.net ** 3 cores and 6 GB memory for freebsd-jenkins.debian.net * 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@debian.org[Vagrant] is kindly providing four 'armhf' systems, two quad-cores with 2 GB RAM each and two dual-cores with 1 GB RAM. === Contributors |