On Sun, Nov 01, 2026 at 03:00:00PM +0200, Alexander Lakhin wrote:> Reproduced starting from e2080261c.
And this one should be fixed as of 590788ad0bff.--Michael