pantheon.gala: 2019-02-09 -> 2019-05-14

Fixes notification settings being broken[0] and
many other things. See the changes[1]

[0]: elementary/switchboard-plug-notifications#41
[1]: https://github.com/elementary/gala/compare/1a96644c6aac405927499dacb308dea13512e919..3ae100da4bbd9dabe353f468778ef63ef2dcd5d7

pkgs/desktops/pantheon/desktop/gala/default.nix

@@ -5,13 +5,13 @@
 
 stdenv.mkDerivation rec {
   pname = "gala";
-  version = "unstable-2019-02-09"; # Is tracking https://github.com/elementary/gala/commits/stable/juno
+  version = "unstable-2019-05-14"; # Is tracking https://github.com/elementary/gala/commits/stable/juno
 
   src = fetchFromGitHub {
     owner = "elementary";
     repo = pname;
-    rev = "1a96644c6aac405927499dacb308dea13512e919";
-    sha256 = "1zi7xyzhsypf52zzfwf7dwcxgd0skxbsssv1vsxgmswszg23p7i3";
+    rev = "3ae100da4bbd9dabe353f468778ef63ef2dcd5d7";
+    sha256 = "08xcj4z9mq511w8hdpr60nmd6j1cj7rs7rgs4s5ivyg11kg5w17b";
   };
 
   passthru = {