summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--THANKS.head6
1 files changed, 3 insertions, 3 deletions
diff --git a/THANKS.head b/THANKS.head
index 81fa96a5..23c88dab 100644
--- a/THANKS.head
+++ b/THANKS.head
@@ -14,10 +14,10 @@
** 4 cores and 7 GB memory for profitbricks-build10-amd64.debian.net
** 3 cores and 6 GB memory for freebsd-jenkins.debian.net (also running on Profitbricks virtual hardware)
* link:https://qa.debian.org/developer.php?login=vagrant%40debian.org[Vagrant] provides and hosts 21 'armhf' systems:
- ** five quad-cores with 4 GB RAM each,
+ ** three quad-cores with 4 GB RAM each,
** three octo-cores with 2 GB RAM each,
- ** seven quad-cores with 2 GB RAM each,
- ** one dual-core with 2 GB RAM,
+ ** eight quad-cores with 2 GB RAM each,
+ ** two dual-core with 2 GB RAM,
** two quad-cores with 1 GB RAM and
** three dual-cores with 1 GB RAM.
* link:https://letsencrypt.org[Let's encrypt] provides free of charge SSL certificates for jenkins.debian.net, reproducible.debian.net and tests.reproducible-builds.org.