On 21. Jun 2022, 17:43 +0200, Eli Zaretskii <eliz@gnu.org>, wrote:
> > Which version of GDB? If you didn't try the latest v12.1, please do.
> >
It's v12.1.
> > If you did, and it still gives you trouble, suggest to ask a question
> > on the GDB mailing list (gdb@sourceware.org),

Thanks, I'll try that.