Processing commands for cont...@bugs.debian.org: > user debian...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@debian.org). > usertags 793220 piuparts Usertags were: piuparts. Usertags are now: piuparts. > affects 793220 + boo Bug #793220 [src:boo] boo: change of type in system_error might break with GCC-5 Added indication that 793220 affects boo > found 793220 0.9.5~git20110729.r1.202a430-2 Bug #793220 [src:boo] boo: change of type in system_error might break with GCC-5 Marked as found in versions boo/0.9.5~git20110729.r1.202a430-2. > thanks Stopping processing here.
Please contact me if you need assistance. -- 793220: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793220 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
