From 5dac85fba78075b525a9aab24ea079fc4addf372 Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Mon, 24 Jul 2017 10:41:30 +0200 Subject: 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 --- doc/gpg.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/gpg.texi') 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 *************** ************** -- cgit v1.2.3