On Sun, 2010-08-22 at 19:32 +0100, Andy Koppe wrote: > Please upload: > > wget http://mintty.googlecode.com/files/mintty-0.8.2-1.tar.bz2 > wget http://mintty.googlecode.com/files/mintty-0.8.2-1-src.tar.bz2 > > Please delete 0.8.1-1, leaving 0.7.1-1 as previous.
Done and done. Yaakov