I have uploaded mintty 2.9.8 with the following changes:
Unicode and Emoji data * Unicode 12.0 update. Keyboard handling* Fixed control-key reporting in modifyOtherKeys mode to use small letters.
The homepage is at http://mintty.github.io/ It also links to the issue tracker. ------ Thomas
