[gnome-control-center] flatpak: Use version 1.12.0 of NetworkManager

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit d6fd9742a292c686658fa1f00fda933c807df6fe
Author: RyuzakiKK <aasonykk gmail com>
Date:   Mon Jul 30 15:59:47 2018 +0200

    flatpak: Use version 1.12.0 of NetworkManager
    
    We can't compile the current master of NetworkManager due to this bug
    https://gitlab.freedesktop.org/NetworkManager/NetworkManager/issues/7
    
    In the meantime we can safely switch to the working stable release
    1.12.0

 build-aux/flatpak/org.gnome.Settings.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/build-aux/flatpak/org.gnome.Settings.json b/build-aux/flatpak/org.gnome.Settings.json
index eb9427514..1f976b112 100644
--- a/build-aux/flatpak/org.gnome.Settings.json
+++ b/build-aux/flatpak/org.gnome.Settings.json
@@ -305,7 +305,9 @@
             "sources" : [
                 {
                     "type" : "git",
-                    "url" : "git://anongit.freedesktop.org/NetworkManager/NetworkManager"
+                    "tag" : "1.12.0",
+                    "commit" : "8964dbe8bc9cbe7300a48bffe86faee6b149fbf2",
+                    "url" : "https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git";
                 }
             ]
         },