Revision ff37ed7c3451b63aea685c4b5c94fd584461a79c

Committed on 24/10/2013 6:10 am by gggeek <[email protected]> [GitHub Diff]

Allow git tags to be different from version name