> Date: Tue, 31 May 2022 14:04:00 +0100 > Cc: gdb-patches@sourceware.org > From: Pedro Alves <pedro@palves.net> > > > WDYT? > > > > I like this a lot. Will you merge it, or shall I? I'd prefer that you did, if you don't mind, so that all the changes would be together, or close. Thanks.