summaryrefslogtreecommitdiffstats
path: root/THANKS.head
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-08-07 18:55:34 +0200
committerHolger Levsen <holger@layer-acht.org>2015-08-07 18:55:34 +0200
commit541a1bc06798789a5df8757635058ab24764cf31 (patch)
tree337ef74b166aa8ca0702ecad87e5265dc84993f5 /THANKS.head
parentf1828f5393d6ed8f7bad0029257d31dd057944f1 (diff)
downloadjenkins.debian.net-541a1bc06798789a5df8757635058ab24764cf31.tar.xz
reproducible: thank Vagrant for providing his boards to us.
Diffstat (limited to 'THANKS.head')
-rw-r--r--THANKS.head1
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