diff options
| author | Werner Koch <[email protected]> | 2017-07-24 08:41:30 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2017-07-24 08:43:27 +0000 |
| commit | 5dac85fba78075b525a9aab24ea079fc4addf372 (patch) | |
| tree | c8ba616d868bb8e2d68e76dbf9eba4cca8186b0b /doc/gpg.texi | |
| parent | scd: Use unsigned int for fields. (diff) | |
| download | gnupg-5dac85fba78075b525a9aab24ea079fc4addf372.tar.gz gnupg-5dac85fba78075b525a9aab24ea079fc4addf372.zip | |
doc: Revert the bug reporting address to bugs.gnupg.org
--
dev.gnupg org is the development platform but the canonical bug
address is and has always been bugs.gnupg.org. We should keep on
using this address for the case that we switch the tracker again or
split it off the development system.
That is also the reason why we should keep on communicating a plain
bug number without the 'T' prefix.
Signed-off-by: Werner Koch <[email protected]>
Diffstat (limited to 'doc/gpg.texi')
| -rw-r--r-- | doc/gpg.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gpg.texi b/doc/gpg.texi index 1b5dee0b5..9147bdf4b 100644 --- a/doc/gpg.texi +++ b/doc/gpg.texi @@ -3806,7 +3806,7 @@ may be recoverable from it later. Before you report a bug you should first search the mailing list archives for similar problems and second check whether such a bug has -already been reported to our bug tracker at https://dev.gnupg.org . +already been reported to our bug tracker at @url{https://bugs.gnupg.org}. @c ******************************************* @c *************** ************** |