Re: [PATCH 2/2 version 2] fix for gdb.reverse/finish-precsave.exp and gdb.reverse/finish-reverse.exp

Tom de Vries via Gdb-patches
2023-01-17T16:56:14Z

AFAICT, this has been committed just now.

I'm having difficulty finding an approval, did it happen maybe offlist?

Thanks,
- Tom