What about tagging a release with the current tip of the project to have a tag with #3 fix in it?
What about tagging a release with the current tip of the project to have a tag with #3 fix in it?