Merge pull request #196971: gnomeExtensions.dash-to-dock: 74 -> 75

This commit is contained in:
piegames
2022-10-21 13:11:45 +02:00
committed by GitHub
@@ -9,14 +9,14 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-dash-to-dock";
version = "74";
version = "75";
# Temporarily switched to commit hash because stable version is buggy.
src = fetchFromGitHub {
owner = "micheleg";
repo = "dash-to-dock";
rev = "extensions.gnome.org-v${version}";
sha256 = "3WNm9kX76+qmn9KWLSKwxmHHpc21kWHrBW9266TOKZ0=";
sha256 = "sha256-vHXNhJgty7x4Ef6jxUI29KYpadC3jtUqE1Nt1dWYr24=";
};
nativeBuildInputs = [