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

[Tom de Vries]

AFAICT, this has been committed just now.

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

Thanks,
- Tom