Processed: Re: Bug#370651: closed by maximilian attems <max@stro.at> (Re: kernel-headers are missing infrastructure needed to build modules with kernel-package)

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

Processing commands for control@bugs.debian.org:

> reopen 370651
Bug#370651: kernel-headers are missing infrastructure needed to build modules with kernel-package
Bug reopened, originator not changed.

> reassign 370651 kernel-package
Bug#370651: kernel-headers are missing infrastructure needed to build modules with kernel-package
Bug reassigned from package `kernel' to `kernel-package'.

> # Manoj, feel free to add a wontfix tag, but this *is* a bug in kernel-package
> # tag 370651 wontfix
> thanks
Stopping processing here.

Please contact me if you need assistance.

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