summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--THANKS.head1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS.head b/THANKS.head
index 0ae4982a..a1c4b7d0 100644
--- a/THANKS.head
+++ b/THANKS.head
@@ -6,6 +6,7 @@
** 23 cores and 75 GB memory for jenkins.debian.net
** 8 cores and 32 GB memory for profitbricks-build1-amd64.debian.net
** 9 cores and 36 GB memory for profitbricks-build2-amd64.debian.net
+ ** 1 cores and 1 GB memory for profitbricks-build4-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%40debian.org[Vagrant] is kindly providing four 'armhf' systems, two quad-cores with 2 GB RAM each and two dual-cores with 1 GB RAM.