From 4ccfc8529a61596c0e13b7a5d4bc6803a17bc467 Mon Sep 17 00:00:00 2001
From: mitchell <70453897+orbitalquark@users.noreply.github.com>
Date: Sat, 19 Sep 2020 20:43:01 -0400
Subject: Keep download link in GitHub release notes. Having the direct links
 in e-mail notifications seems valuable. It also saves having to search
 through release assets in the Web UI.

---
 .github/workflows/release.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 3928a215..02141fc2 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -119,8 +119,7 @@ jobs:
                 exit 0
               fi
             elif [[ $echoing -eq 1 ]]; then
-              echo "$line" | grep -v '\(\[Textadept\|Download:\)' |
-                sed "s,\(manual\|api\)\.html,$prefix/\0,;" || continue
+              echo "$line" | sed "s,\(manual\|api\)\.html,$prefix/\0,;"
             fi
           done < docs/changelog.md >> log.md
       - name: Create release
-- 
cgit v1.2.3