Processing commands for [email protected]: > 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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
