Bradley M. Froehle, 11.09.2012 00:34: > Any chance we can tag the official 0.17 release in Github as well? BTW, do we use lightweight tags or annotated tags in git? And why? Stefan