Maintainers and contributors: what is the expected practice for updating version numbers when creating a PR an addon?
Most open PRs I looked at in the gramps/addons-source repository include the code change but do not bump up the version number in the addon’s gpr.py file. Based on this message from @prculley I inferred that the version number is updated during the release process. Is that correct?
This question came up in a comment I made on PR-543 by @GaryGriffin and @jpschewe