diff options
Diffstat (limited to 'THANKS.head')
-rw-r--r-- | THANKS.head | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/THANKS.head b/THANKS.head index d046fa40..ec797510 100644 --- a/THANKS.head +++ b/THANKS.head @@ -3,7 +3,7 @@ === Sponsors * Since October 2012 jenkins.debian.net has been running on (virtualized) hardware sponsored by link:https://www.profitbricks.co.uk[Profitbricks] - Thanks a lot! Currently we are using: - ** 23 cores and 64 GB memory for jenkins.debian.net + ** 23 cores and 58 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 12 GB memory for profitbricks-build3-amd64.debian.net @@ -11,6 +11,7 @@ ** 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 + ** 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 18 'armhf' systems: ** three quad-cores with 4 GB RAM each, |