From b2d875e7483762c9c23bed19c977d53c03642a59 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 18 Aug 2022 13:18:16 -0700
Subject: [PATCH] Update RELEASE_CHECKLIST

---
 RELEASE-CHECKLIST | 1 +
 1 file changed, 1 insertion(+)

diff --git a/RELEASE-CHECKLIST b/RELEASE-CHECKLIST
index 5e5b8c3fa..9c7d521a4 100644
--- a/RELEASE-CHECKLIST
+++ b/RELEASE-CHECKLIST
@@ -17,6 +17,7 @@
     git push --tags
 [ ] Add release on github (use 'make changes_github' and upload files)
 [ ] stack upload .
+[ ] copy deb to server, install it; if trypandoc/ changes, upload them
 [ ] if needed, sh tools/build-and-upload-api-docs.sh
 [ ] Announce on pandoc-announce, pandoc-discuss