Re: [ANNOUNCEMENT] Updated: mintty 2.9.4

>> I have uploaded mintty 2.9.4 with the following changes: >> Terminal features >>   * Copy as HTML (#811). > I should agree with Achim. This feature is utterly broken. > Copied fragments are inserted as HTML TABLES(of all the things!) with no > formatting whatsoever. Good grief, me too! Pl

Re: [ANNOUNCEMENT] Updated: mintty 2.9.4

Greetings, Thomas Wolff! > I have uploaded mintty 2.9.4 with the following changes: > Terminal features >   * Copy as HTML (#811). I should agree with Achim. This feature is utterly broken. Copied fragments are inserted as HTML TABLES(of all the things!) with no formatting whatsoever. -- Wit

Re: [ANNOUNCEMENT] Updated: mintty 2.9.4

Thomas Wolff writes: > Terminal features >   * Copy as HTML (#811). As long as this is not opt-in this is a most unwelcome change that breaks my workflow. I don't even know where it might have some use, but again, if it was optional (like the "copy as richt text" thing) or had its own shortcut ke

Re: [ANNOUNCEMENT] Updated: zstd-1.3.7-1 and development headers / libraries

Am 11.11.2018 um 22:16 schrieb Steven Penny: On Sun, 11 Nov 2018 12:25:15, Achim Gratz wrote: This release updates Zstandard to the latest upstream version. Note The built-in benchmark function can infloop on too short input with some settings, apparently due to the granularity of timing m