Processed: tagging 701935

Processing commands for cont...@bugs.debian.org: > tags 701935 + patch Bug #701935 [libstdc++6] libstdc++6-4.7-dbg: Pretty-printers appear not to load (but do) Added tag(s) patch. > thanks Stopping processing here. Please contact me if you need assistance. -- 701935: http://bugs.debian.org/cgi-

Processed: severity of 701935 is important

Processing commands for cont...@bugs.debian.org: > severity 701935 important Bug #701935 [libstdc++6] libstdc++6-4.7-dbg: Pretty-printers appear not to load (but do) Severity set to 'important' from 'normal' > thanks Stopping processing here. Please contact me if you need assistance. -- 701935:

Bug#701935: /usr/lib/debug/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.18-gdb.py: Re: libstdc++6-4.7-dbg: Pretty-printers appear not to load (but do)

I found another patch for the part where the pretty-printers won't load at all, starting at : Index: b/src/libstdc++-v3/python/hook.in === --- a/src/