diff options
author | Guillem Jover <guillem@debian.org> | 2023-10-06 23:55:11 +0200 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2024-03-23 03:43:57 +0100 |
commit | 848f05ee39ce74ed77b065b215fbbefc6aa4532c (patch) | |
tree | ee4e23182c2ec0d34da398a90a26b3541fda9161 /english/devel/people.wml | |
parent | 1d1119545ac92f60b5f8c176063c9261d1904f86 (diff) |
Use OpenPGP instead of GnuPG, gpg or pgp when referring to the standard
Diffstat (limited to 'english/devel/people.wml')
-rw-r--r-- | english/devel/people.wml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/devel/people.wml b/english/devel/people.wml index 498063eef4e..8ad7530271e 100644 --- a/english/devel/people.wml +++ b/english/devel/people.wml @@ -8,7 +8,7 @@ managed. A broader list of Debian contributors can be found on <a href="https://contributors.debian.org">contributors.debian.org</a>.</p> -<p>GPG/PGP keys of package maintainers can be downloaded from +<p>OpenPGP keys of package maintainers can be downloaded from <a href="http://ftp.debian.org/debian/pool/main/d/debian-keyring/">here</a>. </p> |