r40034 - /desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch

[sjoerd at users.alioth.debian.org]

Author: sjoerd
Date: Sun Oct 20 22:07:07 2013
New Revision: 40034

URL: http://svn.debian.org/wsvn/pkg-gnome/?sc=1&rev=40034
Log:
Fix typo

Modified:
    desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch

Modified: desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch?rev=40034&op=diff
==============================================================================
--- desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch	[utf-8] (original)
+++ desktop/experimental/gnome-shell/debian/patches/10-make-NetworkManager-optional.patch	[utf-8] Sun Oct 20 22:07:07 2013
@@ -36,7 +36,7 @@
          this.actor.add_child(this._indicators);
  
 -        this._network = new imports.ui.status.network.NMApplet();
-+        if (Congi.HAVE_NETWORKMANAGER) {
++        if (Config.HAVE_NETWORKMANAGER) {
 +          this._network = new imports.ui.status.network.NMApplet();
 +        }
          if (Config.HAVE_BLUETOOTH) {