[gnome-mines] One more org.gnome.mines -> org.gnome.Mines

[Robert Roth <robertroth src gnome org>]

commit 4b082e6352abed5fcfa044bb7b2b280a3a6281d4
Author: Yanko Kaneti <yaneti declera com>
Date:   Tue Jan 8 12:22:38 2019 +0200

    One more org.gnome.mines -> org.gnome.Mines
    
    Fixes crashing on trying to open the preferences dialog

 src/theme-selector-dialog.vala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/theme-selector-dialog.vala b/src/theme-selector-dialog.vala
index 2b73084..4ae1237 100644
--- a/src/theme-selector-dialog.vala
+++ b/src/theme-selector-dialog.vala
@@ -56,7 +56,7 @@ public class ThemeSelectorDialog : Gtk.Dialog
 
     private Gtk.Button previous;
     private Gtk.Button next;
-    private Settings settings = new Settings ("org.gnome.mines");
+    private Settings settings = new Settings ("org.gnome.Mines");
     public List<string> list_themes ()
     {
         string themes_dir = Path.build_path (Path.DIR_SEPARATOR_S, DATA_DIRECTORY, "themes");