Commit: 3fdaf37544fdb7dca4471a069fd04d3412e4ec79 Author: Remi Collet <[email protected]> Tue, 30 Jul 2019 15:05:39 +0200 Parents: ebadb392e259e1e1f85034d5b4815be746c24f3a Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3fdaf37544fdb7dca4471a069fd04d3412e4ec79 Log: add download link for the public keyring Changed paths: M gpg-keys.php Diff: diff --git a/gpg-keys.php b/gpg-keys.php index 9d75caf..a26ee72 100644 --- a/gpg-keys.php +++ b/gpg-keys.php @@ -24,5 +24,10 @@ site_header('GPG Keys'); </div> <?php endforeach ?> +<p> + You can download the keyring with all Release Manager public keys: + <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?> +</p> + <?php site_footer(); -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
