diff options
Diffstat (limited to 'THANKS.head')
-rw-r--r-- | THANKS.head | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/THANKS.head b/THANKS.head new file mode 100644 index 00000000..2196ed87 --- /dev/null +++ b/THANKS.head @@ -0,0 +1,14 @@ +== Thanks a lot + +=== Sponsors + + * The (virtualized) hardware is sponsored since October 2012 by http://www.profitbricks.com - currently it's using 15 cores and 50 GB memory, thanks a lot! + * link:https://globalsign.com["GlobalSign"] in January 2015 kindly provided free of charge SSL certificates for both jenkins.debian.net and reproducible.debian.net. + +=== Contributors + +link:https://jenkins.debian.net/["jenkins.debian.net"] would not be possible without these contributors: + + +---- + |