Processed: Bug#789798: grub-installer: add option to _not_ install to UEFI boot order

2015-07-16 Thread Debian Bug Tracking System
Processing control commands: block 789798 by 792547 Bug #789798 [grub-installer] grub-installer: add option to _not_ install to UEFI boot order 789798 was blocked by: 792547 789798 was not blocking any bugs. Ignoring request to alter blocking bugs of bug #789798 to the same blocks previously

Processed: Bug#789798: grub-installer: add option to _not_ install to UEFI boot order

2015-07-16 Thread Debian Bug Tracking System
Processing control commands: block 789798 by 792547 Bug #789798 [grub-installer] grub-installer: add option to _not_ install to UEFI boot order 789798 was not blocked by any bugs. 789798 was not blocking any bugs. Added blocking bug(s) of 789798: 792547 -- 789798: