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 <tobi@debian.org>  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 <tobi@debian.org>  Mon, 27 Dec 2021 20:43:35 +0100

gnome-shell-extension-vertical-overview (8-1) unstable; urgency=medium

  * Initial release (Closes: #996556)

 -- Tobias Frost <tobi@debian.org>  Sun, 05 Dec 2021 09:16:14 +0100
