I think that `dev-master` is not good versioning. I propose to give a version number for each a bunch of commits.