Processed: Re: ifplugd bug triage
Processing commands for control@bugs.debian.org:
> severity 213910 normal
Bug#213910: Debconf question about options points to possibly not-yet-existing documentation sources
Severity set to `normal' from `minor'
> merge 213910 319727
Bug#213910: Debconf question about options points to possibly not-yet-existing documentation sources
Bug#319727: debconf questions are not useful
Merged 213910 319727.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: