Processed: Re: Bug#319800: gnome-menus: Cannot clear the recent documents

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 319800 gnome-panel
Bug#319800: gnome-menus: Cannot clear the recent documents
Bug reassigned from package `gnome-menus' to `gnome-panel'.

> severity 319800 normal
Bug#319800: gnome-menus: Cannot clear the recent documents
Severity set to `normal'.

> forward 319800 http://bugzilla.gnome.org/show_bug.cgi?id=308779
Unknown command or malformed arguments to command.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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