I have uploaded mintty 3.7.6 with the following changes:
Font and character rendering * Fix rendering of repeated DEC graphics (#1288). Window handling * Tabs can be reordered interactively via drag-and-drop (#1283). * Fix command-line options -B and --Border (#7). The homepage is at http://mintty.github.io/ It also links to the issue tracker. ------ Thomas -- *** CYGWIN-ANNOUNCE UNSUBSCRIBE INFO *** The easiest way to unsubscribe is to visit <https://cygwin.com/mailman/options/cygwin-announce>, and click 'Unsubscribe'. If you need more information on unsubscribing, start reading here: <https://sourceware.org/lists.html#unsubscribe>.