[ANNOUNCEMENT] Updated: mintty 3.1.6

[Maarten Hoes]

On Tue, May 26, 2020 at 7:36 PM Thomas Wolff <towo@towo.net> wrote:

> and please remember not to "top-post" if you respond there]
>
>
[not aimed at you specifically, but ]

Owwwh, for the love of ***, can 'we' be at least a little more lenient
about this ? I fully realize that people have their clear preferences here,
but [like the 'indent by spaces or tabs' discussion]:

The eighties called, and they want they're discussion back.


- Maarten