Your message dated Sun, 3 Aug 2014 21:09:12 +0100
with message-id
<CAD=6cZqSAP_=j7-8j+qg+ysy9cuhoysy07c8ecfauq0smhn...@mail.gmail.com>
and subject line Close #631126 - gnome-menu: Menu editor doesn't start
has caused the Debian Bug report #631126,
regarding gnome-menu: Menu editor doesn't start
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
631126: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=631126
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnome-menus
Version: 2.30.3-2+b1
Severity: normal
File: gnome-menu
Tags: wheezy
Some day before, I updated some package.
Editor of menu doesn't start. Unfortunately I can't found the program name, so
I didn't tried to launch it from shell. Hope someone knows it...
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.38-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=it_IT.utf8, LC_CTYPE=it_IT.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gnome-menus depends on:
ii python 2.6.6-14 interactive high-level object-
orie
ii python-gmenu 2.30.3-2+b1 an implementation of the
freedeskt
gnome-menus recommends no packages.
gnome-menus suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
version: 3.8.0-2
this is an old bug.
I'm closing this bug now since it seems to be fixed.
If you can still reproduce it feel free to reopen and provide more info.
thanks
regards
althaser
--- End Message ---
