From 55cbc8b0e9dc1741c7dfee165f1162a1cd4637a4 Mon Sep 17 00:00:00 2001 From: Jon Banafato Date: Fri, 19 Oct 2018 23:17:36 -0400 Subject: [PATCH] gnomeExtensions.no-title-bar: 8 -> 9 --- pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix b/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix index 43e94ce6bfb..e1dedd2a88b 100644 --- a/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix +++ b/pkgs/desktops/gnome-3/extensions/no-title-bar/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "gnome-shell-extension-no-title-bar-${version}"; - version = "8"; + version = "9"; src = fetchFromGitHub { owner = "franglais125"; repo = "no-title-bar"; rev = "v${version}"; - sha256 = "0n3ayf7k2icy913sjl1d6iwm21i8fivv0f7wj7gck8q7q2j7i3bz"; + sha256 = "02zm61fg40r005fn2rvgrbsz2hbcsmp2hkhyilqbmpilw35y0nbq"; }; nativeBuildInputs = [