Updated: mintty 3.1.7

[Thomas Wolff]

I have uploaded mintty 3.1.7 with the following changes:

Terminal features
   * New default CSI - p (DECARR 0) to disable keyboard repeat rate 
limitation.

Keyboard handling
   * Keyboard auto-repeat handling is now as usual (not affected) by 
default (#1009).
   * Tweaked auto-repeat rate adjustment to better reflect selected values.
   * Configurable key to activate keyboard selecting mode (#997, #84).
   * Restored right-Alt modifier (if not AltGr) (#1003, ~#969).

Window handling
   * Ctrl+Alt+mouse-click restored to move the window (#1008).
   * Search results are cleared on reset (#998).
   * Constrain dark mode handling (#983) to Windows 10 Version 1809 (#1001).
   * Alt+F2 clones maximised and fullscreen window modes (#999, ~#633).

Configuration
   * New user-definable function kb-select (#997, #84).

Other
   * Adding Windows build information to About info.

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

------
Thomas