Processed: Fixed in upload of gnome-menus 2.12.0-1 to experimental

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 314491 + fixed-in-experimental
Bug#314491: "Edutainment" entry needs to go
There were no tags set.
Tags added: fixed-in-experimental

> tag 332976 + fixed-in-experimental
Bug#332976: gnome-menus: Editing the menu is impossible
There were no tags set.
Tags added: fixed-in-experimental

> quit
Stopping processing here.

Please contact me if you need assistance.

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