From 7db8c76874915d8ae7fb199c5d156ee149ffecd9 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Fri, 20 Oct 2017 17:31:05 -0400
Subject: [PATCH] make-gnome-menus updated for flidas

---
 helpers/make-gnome-menus | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/helpers/make-gnome-menus b/helpers/make-gnome-menus
index dcb7b726..d0539bfd 100644
--- a/helpers/make-gnome-menus
+++ b/helpers/make-gnome-menus
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-#    Copyright (C) 2012  Rubén Rodríguez <ruben@trisquel.info>
+#    Copyright (C) 2012-2017  Ruben Rodriguez <ruben@trisquel.info>
 #
 #    This program is free software; you can redistribute it and/or modify
 #    it under the terms of the GNU General Public License as published by
@@ -17,12 +17,12 @@
 #    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
 #
 
-VERSION=8
+VERSION=1
 COMPONENT=main
 
 . ./config
 
-for i in 09_app_install_entry.patch 09_games-menu.patch 11_science-menu.patch 08_settings-menus.patch fix-menus-in-gnome-flashback-session.patch
+for i in 09_app_install_entry.patch 09_games-menu.patch 11_science-menu.patch 08_settings-menus.patch 12_alacarte.patch
 do
   rm debian/patches/$i
   sed /$i/d -i debian/patches/series
-- 
GitLab