diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 14:00:36 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-12-10 14:00:56 +0000 |
commit | 31354a50d7a02e914e9c67f0b92b7b6551157c49 (patch) | |
tree | 7005f5b6b56dbb70f0d0e56cd730e913b62a5e82 | |
parent | Releasing debian version 20231210-1. (diff) | |
download | gnome-shell-extensions-extra-31354a50d7a02e914e9c67f0b92b7b6551157c49.tar.xz gnome-shell-extensions-extra-31354a50d7a02e914e9c67f0b92b7b6551157c49.zip |
Building with GNOME 45 variants (Closes: #1052112).
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index d5036d3..9ebe051 100755 --- a/debian/rules +++ b/debian/rules @@ -1,6 +1,6 @@ #!/usr/bin/make -f -GNOME_SHELL_VERSION = 44 +GNOME_SHELL_VERSION = 45 %: dh ${@} --no-parallel |