On Tue, May 2, 2023 at 10:50 PM Simon Marchi via Gdb-patches <
gdb-patches@sourceware.org> wrote:

> Following the previous patch, I thought it would make sense to make
> current_token a field of mi_interp.  This variable contains the token of
> the currently handled MI command, like the 222 in:
>
>     222-exec-continue
>
> I didn't find any bug related to that, it's just a "that seems nicer"
> cleanup, since the current token is a fundamentally per-interp thing.
> There should be no user-visible change.
>
> Change-Id: Ib52b3c0cba4b7c9d805b432c809692a86e4945ad
>
>
I do agree the change feels nicer  and I can confirm this causes no
regressions when tested on Fedora Rawhide, ppc64le.