Updated: mintty 3.7.0

Updated: mintty 3.7.0

[Thomas Wolff]

I have uploaded mintty 3.7.0 with the following changes:

Misc
   * Fix memory leak (mintty/wsltty#340) caused by dynamic emoji checking.
   * Revise and unify handling of dynamic pathnames for terminal control.
   * Guard network access via dynamic pathnames.

Unicode and Emoji data
   * Unicode 15.1 update.
   * Adapt getemojis script to reduced format of unicode.org emoji 
charts (#1240).

Terminal features
   * Tweak mousewheel scrolling: do not mix line and page events (#1234).
   * Tweak mousewheel scrolling: page scrolling one line less, 
consistent with keyboard paging (#1234).
   * Send Alt modifier with mousewheel events (#1234).
   * New DECSET 7765 to exchange normal and Alt-modified mouse wheel 
scrolling (#1234).
   * Tweak double-click filename/URL selection with colon (#1236).
   * Filter paste characters causing interrupt signals, according to the 
current stty settings.
   * Fixed background in HTML screen dump.

Window handling
   * Better error handling if click-opening file fails.
   * Save image file with proper access rights.

Font rendering
   * Support size adjustment of alternative fonts, for use as secondary 
fonts (mintty/wsltty#341).

Configuration
   * Alternative font specification supports initial + for size increase 
(mintty/wsltty#341).
   * New option GuardNetworkPaths.
   * Added STTY to FilterPasteControls settings (xterm 388), as default.

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

------
Thomas