SOURCES: gnome-volume-manager-bug332762.patch (NEW) - http://bugzi...

[freetz]

Author: freetz                       Date: Wed Mar  1 21:56:14 2006 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- http://bugzilla.gnome.org/show_bug.cgi?id=332762

---- Files affected:
SOURCES:
   gnome-volume-manager-bug332762.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/gnome-volume-manager-bug332762.patch
diff -u /dev/null SOURCES/gnome-volume-manager-bug332762.patch:1.1
--- /dev/null	Wed Mar  1 22:56:14 2006
+++ SOURCES/gnome-volume-manager-bug332762.patch	Wed Mar  1 22:56:09 2006
@@ -0,0 +1,11 @@
+diff -aurN gnome-volume-manager-1.5.14.orig/src/manager.c gnome-volume-manager-1.5.14/src/manager.c
+--- gnome-volume-manager-1.5.14.orig/src/manager.c	2006-02-27 16:44:37.000000000 +0100
++++ gnome-volume-manager-1.5.14/src/manager.c	2006-03-01 22:49:07.841994704 +0100
+@@ -2805,7 +2805,6 @@
+ 	g_source_remove (statfs_id);
+ 	statfs_id = 0;
+ 	
+-	g_hash_table_destroy (statfs_mounts);
+ #endif
+ 
+ 	gtk_main_quit ();
================================================================