Processed: Re: Bug#559196: wicd confuses distcc-pump with BOOTP/DHCP pump when pump package is not installed

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

Processing commands for control@bugs.debian.org:

> reassign 559196 distcc-pump,pump
Bug #559196 [wicd] wicd confuses distcc-pump with BOOTP/DHCP pump when pump package is not installed
Bug reassigned from package 'wicd' to 'distcc-pump,pump'.
Bug No longer marked as found in versions wicd/1.6.2.2-3.
> tags 559196 confirmed
Bug #559196 [distcc-pump,pump] wicd confuses distcc-pump with BOOTP/DHCP pump when pump package is not installed
Added tag(s) confirmed.
> retitle 559196 almost name-clash between packages, relies on $PATH
Bug #559196 [distcc-pump,pump] wicd confuses distcc-pump with BOOTP/DHCP pump when pump package is not installed
Changed Bug title to 'almost name-clash between packages, relies on $PATH' from 'wicd confuses distcc-pump with BOOTP/DHCP pump when pump package is not installed'
> severity 559196 important
Bug #559196 [distcc-pump,pump] almost name-clash between packages, relies on $PATH
Severity set to 'important' from 'normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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