Pkg xen devel - Jul 2013 - Processed: found 712376 in 4.1.4-4, tagging 712376, user debian-gcc@lists.debian.org, usertagging 712376

Processing commands for control at bugs.debian.org:
> found 712376 4.1.4-4
Bug #712376 [src:xen] xen FTBFS with current gcc-4.8
Marked as found in versions xen/4.1.4-4.
> tags 712376 + sid jessie
Bug #712376 [src:xen] xen FTBFS with current gcc-4.8
Added tag(s) sid and jessie.
> user debian-gcc at lists.debian.org
Setting user to debian-gcc at lists.debian.org (was bigon at
debian.org).
> usertags 712376 + ftbfs-gcc-4.8
There were no usertags set.
Usertags are now: ftbfs-gcc-4.8.
> thanks
Stopping processing here.

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