Re: add typedef printers to libstdc++

[Tom Tromey]

Jonathan> Please go ahead and commit, thanks, Tom!

Thanks.  The needed gdb patches are still pending, so I plan to wait
until those go in before committing to libstdc++.  I hope it will be
next week sometime.

Tom