On Sat, 23 Oct 2010, Viesturs Zarins wrote: > And what is the policy of pushing new versions? Can I just commit a new > version into the dist folder, Yes. > or is there some review? No. Ciao -- http://www.dstoecker.eu/ (PGP key available)