[PATCH] Fix "gdb --write" with core files

[Alan Modra]

On Fri, May 13, 2022 at 09:04:29AM +0100, Pedro Alves wrote:
> WDYT of this version, then?

Looks good to me.

-- 
Alan Modra
Australia Development Lab, IBM