gnome-shell-extension-vertical-overview (10-2) unstable; urgency=medium * Cherry-pick upstream PR to enable support for GNOME Shell 44 (Closes: #1041582) * Update Depends on gnome-shell accordingly. -- Tobias Frost Tue, 29 Aug 2023 10:36:42 +0200 gnome-shell-extension-vertical-overview (10-1) unstable; urgency=medium * New upstream version 10 * Drop patch 0001-Declare-support-with-GNOME-43.patch -- applied upstream. -- Tobias Frost Wed, 30 Nov 2022 18:46:22 +0100 gnome-shell-extension-vertical-overview (9-3) unstable; urgency=medium * Really declare support with Gnome 43. (Closes: #1018283) * Bump S-V to 4.6.1, no changes. -- Tobias Frost Mon, 26 Sep 2022 14:30:52 +0200 gnome-shell-extension-vertical-overview (9-2) unstable; urgency=medium * Declare support with Gnome 43. (Closes: #1018283) -- Tobias Frost Sun, 28 Aug 2022 12:53:33 +0200 gnome-shell-extension-vertical-overview (9-1) unstable; urgency=medium * New upstream release. * dropping cherry-picked patch from 8-3. * Tighten dependency on gnome-shell according to what upstream declares compatilbity with. * Update copyright year for packaging. * Drop d/clean, upstream makefile take care about it. -- Tobias Frost Sun, 12 Jun 2022 14:56:35 +0200 gnome-shell-extension-vertical-overview (8-3) unstable; urgency=medium * Cherry-pick a PR from upstream, in the hope for fix it for Gnome 42. (Closes: #1008560), amended with updated metadata.json. * Update d/control for tighter Depends on gnome-shell. -- Tobias Frost Tue, 29 Mar 2022 17:46:19 +0200 gnome-shell-extension-vertical-overview (8-2) unstable; urgency=medium * No change source-only upload. -- Tobias Frost Mon, 27 Dec 2021 20:43:35 +0100 gnome-shell-extension-vertical-overview (8-1) unstable; urgency=medium * Initial release (Closes: #996556) -- Tobias Frost Sun, 05 Dec 2021 09:16:14 +0100