Please upload: wget http://mintty.googlecode.com/files/mintty-0.8.1-1.tar.bz2 wget http://mintty.googlecode.com/files/mintty-0.8.1-1-src.tar.bz2 Please delete 0.6.2-1, leaving 0.7.1-1 as previous. Thanks, Andy