[Bug libstdc++/93024] Python Pretty Printers get disabled on executable reload by GDB

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93024

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This seems like a GDB bug not a libstdc++ one.