From 029e0a36829e907145b4c1929048d3a347be4687 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 11 Sep 2023 13:28:30 +0800 Subject: [PATCH] user_guide: update external links patch to final upstream https://gitlab.haskell.org/ghc/ghc/-/issues/22690 --- 00dc51060881df81258ba3b3bdf447294618a4de.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/00dc51060881df81258ba3b3bdf447294618a4de.patch b/00dc51060881df81258ba3b3bdf447294618a4de.patch index 91a37b3..822f75e 100644 --- a/00dc51060881df81258ba3b3bdf447294618a4de.patch +++ b/00dc51060881df81258ba3b3bdf447294618a4de.patch @@ -34,8 +34,8 @@ index dcc7fbaef62..c9888a13adc 100644 extlinks = { - 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', '#'), - 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', '#'), -+ 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', '%s'), -+ 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', '#%s'), ++ 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', '#%s'), ++ 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', '%s'), } libs_base_uri = '../libraries'