Please upload: mined-2000.15.2-0

[Thomas Wolff]

Please upload the release update package for mined:

------------------------------------------------------------------------
mkdir mined
cd mined
wget http://towo.net/mined/cygwin/mined-2000.15.2-0.tar.bz2
wget http://towo.net/mined/cygwin/mined-2000.15.2-0-src.tar.bz2
wget http://towo.net/mined/cygwin/setup.hint
------------------------------------------------------------------------

This is a maintenance release, mainly containing:
* Tweaks for Cygwin console and MinTTY terminals
(but also for Linux/Unix versions in case of remote login, so it's 
an "upstream" update - in case you wonder about the numbering).

Thank you,
Thomas Wolff