Tweet · 20 Apr 2022, 18:28 UTC

Replying to @johnnyryan and @coolharsh55, @Andreas_Schwab, @repasi

That's very unfortunate. Do you know the reason for insisting on keeping a bad text and ignoring our experience from the past four years when the fix is small and simple?