Updated: mintty 3.7.3

[Thomas Wolff]

I have uploaded mintty 3.7.3 with the following changes:

Misc
   * Fix version tag and package building problems.

Configuration
   * Prevent saving changed settings to /etc/minttyrc.

The homepage is at http://mintty.github.io/
It also links to the issue tracker.

------
Thomas