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

[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 niels@thykier.net).
> usertags 749991 stretch-can-defer
There were no usertags set.
Usertags are now: stretch-can-defer.
> tags 749991 + stretch-ignore
Bug #749991 [debian-installer] debian-installer: Wrong kernel in debian-installer package
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

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