Commit 5490505a2ba633146d4c41538fde300830cf3d39
2022-10-08T09:41:10
Added a note to update the website after a stable release
diff --git a/docs/release_checklist.md b/docs/release_checklist.md
index a5c1d17..37d8b6d 100644
--- a/docs/release_checklist.md
+++ b/docs/release_checklist.md
@@ -16,6 +16,8 @@ mechanical work.
* Do the release
+* Update the website file include/header.inc.php to reflect the new version
+
## New bugfix release
* Check that no new API/ABI was added
@@ -28,6 +30,8 @@ mechanical work.
* Do the release
+* Update the website file include/header.inc.php to reflect the new version
+
## After a feature release
* Create a branch like `release-2.24.x`