Processed: Re: Bug#196379: menu: User can't remove menu entry with empty $HOME/.menu/package file

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

Processing commands for control@bugs.debian.org:

> clone 196379 -1
Bug#196379: menu: User can't remove menu entry with empty $HOME/.menu/package file
Bug 196379 cloned as bug 198173.

> retitle 196379 twm don't honor ~/.menu
Bug#196379: menu: User can't remove menu entry with empty $HOME/.menu/package file
Changed Bug title.

> reassign 196379 twm
Bug#196379: twm don't honor ~/.menu
Bug reassigned from package `menu' to `twm'.

> retitle -1 kicker don't honor ~/.menu
Bug#198173: menu: User can't remove menu entry with empty $HOME/.menu/package file
Changed Bug title.

> reassign -1 kicker
Bug#198173: kicker don't honor ~/.menu
Bug reassigned from package `menu' to `kicker'.

> quit
Stopping processing here.

Please contact me if you need assistance.

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