diff --git a/DEVELOP b/DEVELOP index bce9e64e..25369830 100644 --- a/DEVELOP +++ b/DEVELOP @@ -247,6 +247,8 @@ Releasing Ensure the version is correct in ./common/version.py +Add/finalize the corresponding entry in the ChangeLog + # update man pages (cd man ; ./generate-man )