From f0188cc0cb28bd055a3bd8e067ba0cc72af60974 Mon Sep 17 00:00:00 2001 From: madomado Date: Thu, 2 May 2024 20:27:49 +0800 Subject: [PATCH] chore(rebuild): terra-gnome-shell-extension-pop-shell (#1168) Signed-off-by: madomado --- .../terra-gnome-shell-extension-pop-shell.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/anda/desktops/gnome/gnome-shell-extension-pop-shell/terra-gnome-shell-extension-pop-shell.spec b/anda/desktops/gnome/gnome-shell-extension-pop-shell/terra-gnome-shell-extension-pop-shell.spec index 362f8608a1..6be4363e31 100644 --- a/anda/desktops/gnome/gnome-shell-extension-pop-shell/terra-gnome-shell-extension-pop-shell.spec +++ b/anda/desktops/gnome/gnome-shell-extension-pop-shell/terra-gnome-shell-extension-pop-shell.spec @@ -8,7 +8,7 @@ Name: terra-gnome-shell-extension-%{extension} Version: %{ver}^%{shortcommit} -Release: 1%?dist +Release: 2%?dist Summary: GNOME Shell extension for advanced tiling window management License: GPL-3.0-only URL: https://github.com/pop-os/shell