diff options
author | Hugo Buddelmeijer <hugo@buddelmeijer.nl> | 2023-03-06 21:39:05 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-03-10 14:49:58 +0100 |
commit | bc876cf08e8e93d6f46794aaf170003036d15066 (patch) | |
tree | a2a329f533ad7c82c8e2123e8f3a48d98dfc6058 | |
parent | 5627c73a9e410c7e28d67df517bd275d8c5f5d8d (diff) |
doc: Sending-a-Patch-Series: Fix URL.
* doc/contributing.texi (Sending a Patch Series): Fix URL for issue tracker.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r-- | doc/contributing.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index 61c05c2489..911c3a7bbf 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1488,7 +1488,7 @@ Due to an apparent bug in @command{git send-email}, @end quotation You can find out @var{ISSUE_NUMBER} either by searching on the mumi -interface at @url{issues.guix.gnu.org} for the name of your patch or +interface at @url{https://issues.guix.gnu.org} for the name of your patch or reading the acknowledgement email sent automatically by Debbugs in reply to incoming bugs and patches, which contains the bug number. |