[RFU] mintty-0.8.3-1

[Andy Koppe]

Please upload:

wget http://mintty.googlecode.com/files/mintty-0.8.3-1.tar.bz2
wget http://mintty.googlecode.com/files/mintty-0.8.3-1-src.tar.bz2

Please delete 0.7.1-1, leaving 0.8.2-1 as previous.

Thanks,
Andy