Processed: Re: Bug#430710: fixed in vlc 0.8.6.c-2

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reopen 430710
Bug#430710: vlc: build-depends on obsolete linux-kernel-headers
'reopen' may be inappropriate when a bug has been closed with a version;
you may need to use 'found' to remove fixed versions.
Bug reopened, originator not changed.

> severity 430710 normal
Bug#430710: vlc: build-depends on obsolete linux-kernel-headers
Severity set to `normal' from `serious'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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