r36507 - in /desktop/experimental/gnome-menus: ./ debian/changelog debian/patches/02_kill_debian_menu.patch debian/patches/series

[joss at users.alioth.debian.org]

Author: joss
Date: Wed Jan  2 20:25:39 2013
New Revision: 36507

URL: http://svn.debian.org/wsvn/pkg-gnome/?sc=1&rev=36507
Log:
02_kill_debian_menu.patch: new patch. Completely remove Debian menu 
entries by discarding them at the parsing stage. This should work 
around bug #696530 in menu-xdg.

Added:
    desktop/experimental/gnome-menus/debian/patches/02_kill_debian_menu.patch
      - copied unchanged from r36503, desktop/unstable/gnome-menus/debian/patches/02_kill_debian_menu.patch
Modified:
    desktop/experimental/gnome-menus/   (props changed)
    desktop/experimental/gnome-menus/debian/changelog
    desktop/experimental/gnome-menus/debian/patches/series

Propchange: desktop/experimental/gnome-menus/
------------------------------------------------------------------------------
--- svn:mergeinfo (original)
+++ svn:mergeinfo Wed Jan  2 20:25:39 2013
@@ -1,1 +1,1 @@
-/desktop/unstable/gnome-menus:36235
+/desktop/unstable/gnome-menus:36235,36503

Modified: desktop/experimental/gnome-menus/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/experimental/gnome-menus/debian/changelog?rev=36507&op=diff
==============================================================================
--- desktop/experimental/gnome-menus/debian/changelog [utf-8] (original)
+++ desktop/experimental/gnome-menus/debian/changelog [utf-8] Wed Jan  2 20:25:39 2013
@@ -5,6 +5,9 @@
   * Drop Debian menu support entirely. In the case it gets enabled by 
     mistake by users, it breaks the shell beyond all repair.
     Closes: #694356.
+  * 02_kill_debian_menu.patch: new patch. Completely remove Debian menu 
+    entries by discarding them at the parsing stage. This should work 
+    around bug #696530 in menu-xdg.
 
  -- Josselin Mouette <joss at debian.org>  Wed, 07 Nov 2012 15:03:52 +0100
 

Modified: desktop/experimental/gnome-menus/debian/patches/series
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/experimental/gnome-menus/debian/patches/series?rev=36507&op=diff
==============================================================================
--- desktop/experimental/gnome-menus/debian/patches/series [utf-8] (original)
+++ desktop/experimental/gnome-menus/debian/patches/series [utf-8] Wed Jan  2 20:25:39 2013
@@ -1,4 +1,5 @@
 01_default_prefix.patch
+02_kill_debian_menu.patch
 03_kde-legacydirs.patch
 08_settings-menus.patch
 09_games-menu.patch