current "fresh" release not tagged in git?

[Richard Cochran]

On Mon, May 18, 2015 at 12:21:24PM +0200, Rene Engelhard wrote:
> Forgot git fetch --tags?

I did 'git remote update origin', and I thought that includes tags.

Hm.

Thanks,
Richard