Package "gnome-shell-extension-prefs"
Name: | gnome-shell-extension-prefs |
Description: |
tool to enable / disable GNOME Shell extensions |
Latest version: | 42.9-0ubuntu2.2 |
Release: | jammy (22.04) |
Level: | updates |
Repository: | universe |
Head package: | gnome-shell |
Homepage: | https://wiki.gnome.org/Projects/GnomeShell |
Links
Download "gnome-shell-extension-prefs"
Other versions of "gnome-shell-extension-prefs" in Jammy
Repository | Area | Version |
---|---|---|
base | universe | 42.0-2ubuntu1 |
security | universe | 42.9-0ubuntu2.2 |
Changelog
Version: 42.9-0ubuntu2.2 | 2024-08-15 18:07:21 UTC | ||
---|---|---|---|
gnome-shell (42.9-0ubuntu2.2) jammy-security; urgency=medium * SECURITY UPDATE: resource consumption via portal helper
-- Marc Deslauriers <email address hidden> Wed, 14 Aug 2024 09:55:24 -0400 |
|||
Source diff to previous version | |||
|
Version: 42.9-0ubuntu2.1 | 2024-05-09 15:07:14 UTC |
---|---|
gnome-shell (42.9-0ubuntu2.1) jammy-security; urgency=medium * Fix compatibility with glib2.0 security update
-- Marc Deslauriers <email address hidden> Tue, 07 May 2024 17:06:57 -0400 |
|
Source diff to previous version |
Version: 42.9-0ubuntu2 | 2023-07-10 15:07:02 UTC | ||
---|---|---|---|
gnome-shell (42.9-0ubuntu2) jammy; urgency=medium * New upstream release (LP: #2023913)
-- Jeremy Bícha <email address hidden> Wed, 14 Jun 2023 15:35:33 -0400 |
|||
Source diff to previous version | |||
|
Version: 42.5-0ubuntu1 | 2022-11-01 10:06:27 UTC | ||||
---|---|---|---|---|---|
gnome-shell (42.5-0ubuntu1) jammy; urgency=medium * New upstream release (LP: #1993809)
-- Jeremy Bicha <email address hidden> Fri, 21 Oct 2022 08:03:20 -0400 |
|||||
Source diff to previous version | |||||
|
Version: 42.4-0ubuntu0.22.04.1 | 2022-08-29 16:07:14 UTC | ||||
---|---|---|---|---|---|
gnome-shell (42.4-0ubuntu0.22.04.1) jammy; urgency=medium * New upstream release (LP: #1985304):
-- Marco Trevisan (Treviño) <email address hidden> Thu, 11 Aug 2022 17:58:27 -0400 |
|||||
|