From ec764124480dc7b269dd5227aedbcf58b95f324c Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 28 Apr 2016 20:25:15 +0200 Subject: rename pb-build4 to pb-build9 --- THANKS.head | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'THANKS.head') diff --git a/THANKS.head b/THANKS.head index 1438cddc..066939ca 100644 --- a/THANKS.head +++ b/THANKS.head @@ -7,7 +7,7 @@ ** 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 - ** 4 cores and 8 GB memory for profitbricks-build4-amd64.debian.net + ** 4 cores and 8 GB memory for profitbricks-build9-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 ** 3 cores and 6 GB memory for freebsd-jenkins.debian.net (also running on Profitbricks virtual hardware) -- cgit v1.2.3-54-g00ecf