From 63b04a8263080116b45b200bdc0a41bec197b3a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= Date: Sun, 10 Mar 2019 02:46:12 +0100 Subject: [PATCH] gnomeExtensions.sound-output-device-chooser: 2018-12-30 -> 2019-03-10 --- .../extensions/sound-output-device-chooser/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/default.nix b/pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/default.nix index a1cc96d8b7b1..a3a351e4a65c 100644 --- a/pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/default.nix +++ b/pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-sound-output-device-chooser"; - version = "unstable-2018-12-30"; + version = "unstable-2019-03-10"; src = fetchFromGitHub { owner = "kgshank"; repo = "gse-sound-output-device-chooser"; - rev = "3ec8aded413034e7943eb36ee509405873ccc575"; - sha256 = "1svc3d3pr2j7fr0660a0zj2n320vld8zkkddf5iphbdwivmkrh3n"; + rev = "26c66da6795104802f3240bd9f5741f64367c8e7"; + sha256 = "153cdd0pip4nbpc2a9y1v3y7qivafv3wk296zqdamcjrd0p94nqz"; }; dontBuild = true;