Transfering this sub-issue over here from issue #36:
Summary says it all. We should either automate the maintenance of this version number, or else update the relevant step in INSTALL.md (see commit 96ac954986c) to instruct the user in how to update the version number themselves.
Transfering this sub-issue over here from issue #36:
Summary says it all. We should either automate the maintenance of this version number, or else update the relevant step in INSTALL.md (see commit 96ac954986c) to instruct the user in how to update the version number themselves.