[marco] 07/10: Drop 0009_fix-notifications-of-workspace-name-changes.patch. Applied upstream.

[Martin Wimpress]

This is an automated email from the git hooks/post-receive script.

flexiondotorg-guest pushed a commit to branch debian/experimental
in repository marco.

commit c724a2431e03fd3f6222b16f00776f3aadf86d9d
Author: Martin Wimpress <code at flexion.org>
Date:   Thu Jun 11 20:07:55 2015 +0100

    Drop 0009_fix-notifications-of-workspace-name-changes.patch. Applied upstream.
---
 debian/patches/series | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/patches/series b/debian/patches/series
index 76a12c4..9695654 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,2 @@
 0008_glib243-keybindings-notifications-fix.patch
-0009_fix-notifications-of-workspace-name-changes.patch
 2001_omit-gfdl-licensed-theme-documentation.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mate/marco.git