summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--THANKS.head4
1 files changed, 2 insertions, 2 deletions
diff --git a/THANKS.head b/THANKS.head
index 36989034..d046fa40 100644
--- a/THANKS.head
+++ b/THANKS.head
@@ -6,8 +6,8 @@
** 23 cores and 64 GB memory for jenkins.debian.net
** 18 cores and 48 GB memory for profitbricks-build1-amd64.debian.net
** 18 cores and 48 GB memory for profitbricks-build2-i386.debian.net
- ** 8 cores and 16 GB memory for profitbricks-build3-amd64.debian.net
- ** 8 cores and 8 GB memory for profitbricks-build4-amd64.debian.net
+ ** 8 cores and 12 GB memory for profitbricks-build3-amd64.debian.net
+ ** 8 cores and 12 GB memory for profitbricks-build4-amd64.debian.net
** 17 cores and 48 GB memory for profitbricks-build5-amd64.debian.net
** 17 cores and 48 GB memory for profitbricks-build6-i386.debian.net
** 4 cores and 8 GB memory for profitbricks-build9-amd64.debian.net