2009/6/28 Corinna Vinschen: >> For both 1.5 and 1.7: >> >> wget http://mintty.googlecode.com/files/mintty-0.4.2-1.tar.bz2 >> wget http://mintty.googlecode.com/files/mintty-0.4.2-1-src.tar.bz2 >> >> Please delete 0.4.0-1. > > Done. I also removed 0.3.10-1. I hope that was ok. Yep, that's fine. Thanks! Andy