new GPG key - this new one is signed by the old expiried one - closes #779

download.html

@@ -40,7 +40,7 @@
 <p>The following GPG keys will be used to sign the binaries and the git tags:</p>
 <ul>
 <li><strong>1024D/FAFB085C</strong> Philipp Hagemeister <code>Key fingerprint = 0600 E1DB 6FB5 3A5D 95D8  FC0D F5EA B582 FAFB 085C</code></li>
-<li><strong>4096R/D977155C</strong> Filippo Valsorda <code>Key fingerprint = 9524 4D9F EE39 0B71 25A3  4708 3CD8 8EE0 D977 155C</code></li>
+<li><strong>4096R/BCF05F6B</strong> Filippo Valsorda <code>Key fingerprint = 428D F5D6 3EF0 7494 BB45  5AC0 EBF0 1804 BCF0 5F6B</code></li>
 </ul>
 
 <div class="note">

download.html.in

@@ -40,7 +40,7 @@
 <p>The following GPG keys will be used to sign the binaries and the git tags:</p>
 <ul>
 <li><strong>1024D/FAFB085C</strong> Philipp Hagemeister <code>Key fingerprint = 0600 E1DB 6FB5 3A5D 95D8  FC0D F5EA B582 FAFB 085C</code></li>
-<li><strong>4096R/D977155C</strong> Filippo Valsorda <code>Key fingerprint = 9524 4D9F EE39 0B71 25A3  4708 3CD8 8EE0 D977 155C</code></li>
+<li><strong>4096R/BCF05F6B</strong> Filippo Valsorda <code>Key fingerprint = 428D F5D6 3EF0 7494 BB45  5AC0 EBF0 1804 BCF0 5F6B</code></li>
 </ul>
 
 <div class="note">