Re: [PATCH] Cleanup gdb printers.py

[Jonathan Wakely via Gcc-patches]

On Wed, 21 Sept 2022 at 20:57, François Dumont via Libstdc++
<libstd...@gcc.gnu.org> wrote:
>
> I stopped my research to find out if those types ever existed in 2001.
> Clearly they do not exist now.
>
>      libstdc++: Remove useless gdb printer registrations.
>
>      libstdc++-v3/ChangeLog:
>
>              * python/libstdcxx/v6/printers.py: Remove printer
> registration for non-existing
>              types std::__debug::unique_ptr, std::__debug::stack,
> std::__debug::queue,
>              std::__debug::priority_queue.
>
> Ok to commit ?

Oh good catch, please commit, thanks!