From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 13 May 2020 21:06:26 +0000 (-0500)
Subject: slight updates
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4d7925a1f1f9b061c7a4dbb52306985ad136cbb8;p=release-papers.git

slight updates
---

diff --git a/release-tasks-github-list.md b/release-tasks-github-list.md
index f861bb9..21e4e3e 100644
--- 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