Update release tasks

diff --git a/release-tasks b/release-tasks
index aa9d8c7603aeb3463010d359eaac373fb8ed09c9..aa997d6526758506750c7bcc77c4b91cc0690b9e 100644 (file)
--- a/release-tasks
+++ b/release-tasks
@@ -413,6 +413,8 @@ Thanks!
      looks like shown here:
         svn cat http://www.dealii.org/svn/dealii/branches/releases/Branch-7-0/deal.II/doc/doxygen/headers/step-32.h
 
+11a/ Check that .gitattributes is up to date. In particular do all the
+     quick tests work?
 
 [ some time with bugfixing and commits on the release branch ]
 

diff --git a/release-tasks-github-list b/release-tasks-github-list
index 0a7cf5abcc72173b88a026598b6b7b28f94e25a3..3e27dbebdb4432806b97ea4cc3410f318854788c 100644 (file)
--- a/release-tasks-github-list
+++ b/release-tasks-github-list
@@ -37,6 +37,7 @@ Release steps:
 - [ ] <b>10</b>  Test the branch thoroughly
 - [ ] <b>10a</b> Do the same for the code gallery examples
 - [ ] <b>11</b>  Create documentation and verify
+- [ ] <b>11a</b> Check that .gitattributes is up to date. (Do quick tests work?)
 - [ ] <b>12</b>  Push the button
     - Change VERSION to 9.0.0 for a release and to 9.0.0-rc1 for a pre-release
     - Create a signed tag of exactly this commit