On 21/12/2009 14:43, Andy Koppe wrote: > wget http://mintty.googlecode.com/files/mintty-0.5.5-1.tar.bz2 > wget http://mintty.googlecode.com/files/mintty-0.5.5-1-src.tar.bz2 > > Please delete 0.5.2-1. Done and done. Yaakov