> From: Gavin Smith <[email protected]> > Date: Sun, 23 Oct 2022 13:55:43 +0100 > Cc: [email protected], [email protected] > > On Sun, Oct 23, 2022 at 03:05:56PM +0300, Eli Zaretskii wrote: > > OK, I can try a patch to that effect if/when you have it. > > > > Thanks. > > It's quite a long patch:
Thanks, the crashes are gone now.
