Add running the code gallery to the release task list.

diff --git a/release-tasks b/release-tasks
index 43a68a40252db218222ed7fdb3af5bb8e8eb6ac9..7e0443952c4b0521b3d4c7a29b59607748813550 100644 (file)
--- a/release-tasks
+++ b/release-tasks
@@ -392,6 +392,9 @@ Wolfgang Bangerth, Timo Heister, Guido Kanschat, and Matthias Maier
       This step will require looking at the output and checking whether
       anything untoward is happening.
 
+10a/ Do the same for the code gallery examples: They should at the
+     very least compile. If possible, also run them to make sure they
+     don't trip up any exceptions.
 
 11/ In a clean source directory of the dealii-8.2 branch, do
       mkdir builddoc