On Mon, Feb 17, 2014 at 03:27:19PM +0000, Matt Smith wrote: > I've just noticed that despite v1.16 being available for download my > version from git still says v1.15. It looks like v1.16 was never > actually tagged? It was, I just forgot you need to explicitely push tags... I'm still a git beginner! It should be all good now, sorry about that. Y.