K, I changed it because I was worried that the new versioning wouldn't be considered higher with the missing .0. Safer to keep it the same. Will remove tagname.
Fixing an error is not a gratuitous change. Besides, you've been asked to do it by mat.
You have my approval to delete the GH_TAGNAME line -- no need to reopen this review, you can just commit the
fix. Remember add 'Reported by: mat'