Processing commands for cont...@bugs.debian.org:
> tags 810295 - patch + pending
Bug #810295 {Done: Alessandro Ghedini <gh...@debian.org>} [valgrind] WARNING:
Serious error when reading debug info
Removed tag(s) patch.
Bug #810295 {Done: Alessandro Ghedini <gh...@debian.org>} [valgrind] WARNING:
Serious error when reading debug info
Added tag(s) pending.
> tags 823610 - patch + fixed-upstream pending
Bug #823610 [valgrind] valgrind: Unrecognised instruction RDRAND
Removed tag(s) patch.
Bug #823610 [valgrind] valgrind: Unrecognised instruction RDRAND
Added tag(s) pending and fixed-upstream.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
810295: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810295
823610: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=823610
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
