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 http://sources.debian.net/src/gcc-4.7/4.7.3-7/debian/patches/gcc-multiarch.diff#L3: Index: b/src/libstdc++-v3/python/hook.in === ---

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: