diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:42:05 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:49:03 +0000 |
| commit | 43922ec3c8671996db2e4026be4d52c90607190e (patch) | |
| tree | a06228b095a67ff3aef62b8cfacdb6dad33713b0 | |
| parent | Refreshing no-overview_metadata.patch for gnome-shell 44. (diff) | |
| download | gnome-shell-extensions-extra-43922ec3c8671996db2e4026be4d52c90607190e.tar.xz gnome-shell-extensions-extra-43922ec3c8671996db2e4026be4d52c90607190e.zip | |
Setting minimal gnome-shell version to 43.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index a7ea080..e606005 100644 --- a/debian/control +++ b/debian/control @@ -18,7 +18,7 @@ Package: gnome-shell-extensions-extra Section: gnome Architecture: all Depends: - gnome-shell (>= 42), + gnome-shell (>= 43~), ${misc:Depends}, Recommends: gnome-tweaks, |