Processing commands for cont...@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-...@lists.debian.org
Setting user to debian-...@lists.debian.org (was bi...@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 ow...@bugs.debian.org with problems


--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to