Pkg xen devel - Aug 2013 - Processed: tagging 697407

Processing commands for control at bugs.debian.org:
> tags 697407 + fixed-upstream
Bug #697407 [src:xen] xen-utils-4.1: pygrub doesn't find extlinux.conf in
default Debian location
Bug #697409 [src:xen] xen-utils-4.1: pygrub does not correctly distinguish
between "disk with partitions" and "partition"
Bug #697412 [src:xen] xen-utils-4.1: pygrub does not recognize the include
statement in extlinux.conf
Bug #697417 [src:xen] xen-utils-4.1: pygrub is unable to parse default Debian
grub.cfg
Added tag(s) fixed-upstream.
Added tag(s) fixed-upstream.
Added tag(s) fixed-upstream.
Added tag(s) fixed-upstream.
> thanks
Stopping processing here.

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