From 14785103920542169ac9d76c7466fc3c8acc65ea Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Sun, 17 Jun 2012 00:47:05 -0400
Subject: [PATCH] mutter: Use the default plugin by default

https://bugzilla.gnome.org/show_bug.cgi?id=678238
---
 src/core/mutter.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/mutter.c b/src/core/mutter.c
index 3d94f8a42..0c8907af5 100644
--- a/src/core/mutter.c
+++ b/src/core/mutter.c
@@ -45,7 +45,7 @@ print_version (const gchar    *option_name,
   exit (0);
 }
 
-static gchar *plugin;
+static gchar *plugin = "default";
 
 GOptionEntry mutter_options[] = {
   {