Merge gnomeExtensions.arcmenu: 63 -> 65 (#408250)

This commit is contained in:
Jan Tojnar 2025-05-18 12:32:47 +02:00 committed by GitHub
commit 5e69413744
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -10,13 +10,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-arcmenu";
version = "63";
version = "65";
src = fetchFromGitLab {
owner = "arcmenu";
repo = "ArcMenu";
rev = "v${version}";
hash = "sha256-XlDkdNINTnUAqr2bxL0u2tHWfiggqT1oOryED7sG/vs=";
hash = "sha256-EEK600DwIQAPWR07IMPNZFiWWkiG0blp/D0VKAcc7ns=";
};
patches = [