Bug#631126: marked as done (gnome-menu: Menu editor doesn't start)

Sun Aug 3 20:12:21 UTC 2014

Your message dated Sun, 3 Aug 2014 21:09:12 +0100
with message-id <CAD=6cZqSAP_=J7-8j+QG+ySy9CuHOySy07C8ECFAUq0sMhnoRQ at 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 owner at bugs.debian.org
immediately.)

-- 
631126: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=631126
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Federico Simonetta <fortea92 at libero.it>
Subject: gnome-menu: Menu editor doesn't start
Date: Mon, 20 Jun 2011 17:09:16 +0200 (CEST)
Size: 2496
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140803/6fb09bce/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Pedro Beja <althaser at gmail.com>
Subject: Close #631126 - gnome-menu: Menu editor doesn't start
Date: Sun, 3 Aug 2014 21:09:12 +0100
Size: 3040
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140803/6fb09bce/attachment-0001.mht>