Processed: user release.debian.org@packages.debian.org, tagging 694928, usertagging 694928, tagging 694986 ...

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was jcristau@debian.org).
> tags 694928 + wheezy-ignore
Bug #694928 [flash-kernel] flash-kernel: postinst modifies /etc/default/rcS
Added tag(s) wheezy-ignore.
> usertags 694928 wheezy-can-defer
There were no usertags set.
Usertags are now: wheezy-can-defer.
> tags 694986 + wheezy-ignore
Bug #694986 [initscripts] flash-kernel: postinst modifies /etc/default/rcS
Added tag(s) wheezy-ignore.
> usertags 694986 wheezy-can-defer
There were no usertags set.
Usertags are now: wheezy-can-defer.
> thanks
Stopping processing here.

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