diff --git a/doc/release-process.md b/doc/release-process.md index 18e4a02..e56b31b 100644 --- a/doc/release-process.md +++ b/doc/release-process.md @@ -43,4 +43,6 @@ git push ## Release process +* Update version in src/version.h + * Sometimes the `dev` branch already has the new version and this is done already ...