Werner LEMBERG Thu, 26 Dec 2013 21:59:41 -0800
> I did a git push --tags. :-)
> They should all be there now. Thanks. Werner