Merge pull request #56526 from dtzWill/update/elementary-gtk-theme-5.2.2

pantheon.elementary-gtk-theme: 5.2.1 -> 5.2.2
This commit is contained in:
Will Dietz 2019-03-04 00:13:06 -06:00 committed by GitHub
commit 3312cea55e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "stylesheet"; pname = "stylesheet";
version = "5.2.1"; version = "5.2.2";
name = "elementary-gtk-theme-${version}"; name = "elementary-gtk-theme-${version}";
@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
owner = "elementary"; owner = "elementary";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "03l8m87f7z25svxk0hhcqnn4qnnqvasr5qwzq3s87lx25gwjml29"; sha256 = "10b44dz7ndrckvq25pdxav59rzjcjbcpxb64z4nz62rfshvnrn8q";
}; };
passthru = { passthru = {