Processed: debian-installer: non-grub PXE boot images crash (was: Re: Bug#711799: PXE error: no server is specified)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 711799 -1
Bug #711799 [grub-pc-bin] PXE error: no server is specified
Bug 711799 cloned as bug 759686
759686 was not blocked by any bugs.
759686 was blocking: 695500
Added blocking bug(s) of 759686: 695500
> retitle -1 debian-installer: non-grub PXE boot images crash
Bug #759686 [grub-pc-bin] PXE error: no server is specified
Changed Bug title to 'debian-installer: non-grub PXE boot images crash' from 'PXE error: no server is specified'
> severity -1 important
Bug #759686 [grub-pc-bin] debian-installer: non-grub PXE boot images crash
Severity set to 'important' from 'grave'
> reassign -1 debian-installer
Bug #759686 [grub-pc-bin] debian-installer: non-grub PXE boot images crash
Bug reassigned from package 'grub-pc-bin' to 'debian-installer'.
No longer marked as found in versions grub2/2.00-22, grub2/2.00-14, and grub2/2.02~beta2-11.
Ignoring request to alter fixed versions of bug #759686 to the same values previously set
> found -1 debian-installer/20140802
Bug #759686 [debian-installer] debian-installer: non-grub PXE boot images crash
Marked as found in versions debian-installer/20140802.
> thanks
Stopping processing here.

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