Please upload: wget http://mintty.googlecode.com/files/mintty-0.5.6-1.tar.bz2 wget http://mintty.googlecode.com/files/mintty-0.5.6-1-src.tar.bz2
Please delete 0.5.5-1, leaving 0.5.4-1 as previous. Thanks, Andy
Please upload: wget http://mintty.googlecode.com/files/mintty-0.5.6-1.tar.bz2 wget http://mintty.googlecode.com/files/mintty-0.5.6-1-src.tar.bz2
Please delete 0.5.5-1, leaving 0.5.4-1 as previous. Thanks, Andy