From 853b9e2286fdcbb1d661a636f59ff0955a6c3648 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Thu, 4 Nov 2021 21:14:57 +0100 Subject: [PATCH] web: Fix internal link to manual. This must have worked at some point... Looks like it's no good idea to assume that these identifiers are stable across markdown versions... --- web/download.in.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/download.in.html b/web/download.in.html index 9ef92b7a..b2b1f5fa 100644 --- a/web/download.in.html +++ b/web/download.in.html @@ -19,7 +19,7 @@ provided at this point. There are several ways to download the source: checkout of any of the four integration branches maint, master, next, pu (see the - Git branches + Git branches section of the manual). All previous releases correspond to tagged commits and may be checked out -- 2.39.2