Processed: setting package to grub2 grub-efi grub-of grub-pc, tagging 423005

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.4
> package grub2 grub-efi grub-of grub-pc
Ignoring bugs not assigned to: grub-of grub-efi grub2 grub-pc

> tags 423005 + pending
Bug#423005: grub-pc: Patch to respect DEB_BUILD_OPTIONS=noopt
Tags were: patch
Tags added: pending

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)