Processed: Re: Bug#883547: flash-kernel: please allow flavourless kernels

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing control commands:

> tag 883547 +patch
Bug #883547 [flash-kernel] flash-kernel: please allow flavourless kernels
Added tag(s) patch.

-- 
883547: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883547
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems