Processed: user release.debian.org at packages.debian.org, usertagging 741464, tagging 741464

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user release.debian.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was niels at thykier.net).
> usertags 741464 stretch-can-defer
There were no usertags set.
Usertags are now: stretch-can-defer.
> tags 741464 + stretch-ignore
Bug #741464 [grub-pc-bin] grub-pc-bin: freezes after "terminal_input at_keyboard"
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

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