slight updates

diff --git a/release-tasks-github-list.md b/release-tasks-github-list.md
index f861bb9d516d148d1eb079174856c5b1e37c9e5d..21e4e3e31d777ef38112affd93ed1b9f4f9cb648 100644 (file)
--- a/release-tasks-github-list.md
+++ b/release-tasks-github-list.md
@@ -45,6 +45,10 @@ Release steps:
     - Download the source tarball from github, verify that its contents is what we expect
     - Cryptographically sign it (detached, armored signature)
     - Create full offline_doc tarball and sign it
+
+Postrelease steps:
+--
+
 - [ ] <b>14a</b> Create a pre-release on github and upload files (and detached signatures)
 - [ ] <b>15</b>  Generate the documentation on the webserver.
 - [ ] <b>16</b>  Adjust header.include on homepage