tag 884455 pending
thanks
Hello,
Bug #884455 reported by you has been fixed in the Git repository. You can
see the changelog below, and you can check the diff of the fix at:
https://anonscm.debian.org/cgit/pkg-gnome/gnome-menus.git/commit/?id=0d7fa33
---
commit 0d7fa333d7671d139804539db1e628374d6b3039
Author: Simon McVittie <s...@debian.org>
Date: Fri Dec 15 11:34:56 2017 +0000
Use gir debhelper sequence (Closes: #884455)
diff --git a/debian/changelog b/debian/changelog
index 22f8a2c..5cea43a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+gnome-menus (3.13.3-11) UNRELEASED; urgency=medium
+
+ * Use gir debhelper sequence (Closes: #884455)
+
+ -- Simon McVittie <s...@debian.org> Fri, 15 Dec 2017 11:33:56 +0000
+
gnome-menus (3.13.3-10) unstable; urgency=medium
[ Michael Biebl ]
