Processing commands for cont...@bugs.debian.org:

> reassign 701935 libstdc++6 gcc-4.7/4.7.2-4
Bug #701935 [libstdc++6-4.7-dbg] libstdc++6-4.7-dbg: Pretty-printers appear not 
to load (but do)
Bug reassigned from package 'libstdc++6-4.7-dbg' to 'libstdc++6'.
No longer marked as found in versions gcc-4.7/4.7.2-5 and gcc-4.7/4.7.2-4.
Ignoring request to alter fixed versions of bug #701935 to the same values 
previously set
Bug #701935 [libstdc++6] libstdc++6-4.7-dbg: Pretty-printers appear not to load 
(but do)
Marked as found in versions gcc-4.7/4.7.2-4.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
701935: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=701935
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/handler.s.c.137132444124276.transcr...@bugs.debian.org

Reply via email to