@ -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
...