FYI, v0.0 tag just pushed

[Jim Meyering]

I've just pushed the v0.0 tag, with this comment:

version 0.0 -- this is not a release -- just a tag to make git-describe
output looks sensible