pantheon.gala: 2019-05-31 -> 2019-07-01

Changes: https://github.com/elementary/gala/compare/102481356066...5f1dbf15a75

Fixes:
https://github.com/elementary/gala/issues/444
https://github.com/elementary/gala/issues/561
https://github.com/elementary/gala/issues/13
https://github.com/elementary/gala/issues/487

Changed files
+3 -3
pkgs
desktops
pantheon
desktop
+3 -3
pkgs/desktops/pantheon/desktop/gala/default.nix
···
stdenv.mkDerivation rec {
pname = "gala";
-
version = "unstable-2019-05-31"; # Is tracking https://github.com/elementary/gala/commits/stable/juno
src = fetchFromGitHub {
owner = "elementary";
repo = pname;
-
rev = "1024813560668152814a72fd93dc6a93b226eb04";
-
sha256 = "14kzf9vih3j492dssmlc5vbdw21n0h7v7sxlc1fc9givls4g5i83";
};
passthru = {
···
stdenv.mkDerivation rec {
pname = "gala";
+
version = "unstable-2019-07-01"; # Is tracking https://github.com/elementary/gala/commits/stable/juno
src = fetchFromGitHub {
owner = "elementary";
repo = pname;
+
rev = "5f1dbf15a7571bd16779d964b0cb3bd54232a928";
+
sha256 = "1mbxqqfl54pydgs9pvvgfdbbck91vwyg770gd3vgzc6kmf6c34d5";
};
passthru = {