gnomeExtensions.icon-hider: 19 -> 20

This commit is contained in:
Tor Hedin Brønner 2018-09-13 17:58:40 +02:00 committed by Jan Tojnar
parent 02ebd47dfa
commit 9a4932b1ad
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "gnome-shell-extension-icon-hider-${version}";
version = "19";
version = "20";
src = fetchFromGitHub {
owner = "ikalnytskyi";
repo = "gnome-shell-extension-icon-hider";
rev = "v${version}";
sha256 = "0cifm6cmxwxrrrva41wvjvrzsdqaczfbillf2vv3wsb60dqr6h39";
sha256 = "0z2rfr0nlp5zhlfxd6y0sxrxf7dj8sknimn6skxlbdm1xawl1fin";
};
uuid = "icon-hider@kalnitsky.org";