From f82d3e27b846a1c38554bc25b4f551e034decc6b Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 31 Jul 2022 23:35:42 +0100 Subject: [PATCH] ;doc: github-release-doc: edit --- doc/github-release-doc.tmpl.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/github-release-doc.tmpl.md b/doc/github-release-doc.tmpl.md index 2147694b5..1d55c05bf 100644 --- a/doc/github-release-doc.tmpl.md +++ b/doc/github-release-doc.tmpl.md @@ -18,7 +18,7 @@ Or, you can build from source as described there, after cloning at tag `A.BB`: Or, if under "Assets" below there are release binaries suitable for your OS and hardware, you can use those. Here are platform-specific instructions for the release binaries.