Package: gnome-shell-extension-top-icons-plus

Package: gnome-shell-extension-top-icons-plus / 27-8

Metadata

Package	Version	Patches format
gnome-shell-extension-top-icons-plus	27-8	3.0 (quilt)

Patch series

view the series file

Patch	File delta	Description
fix compatibility with gnome40.patch \| (download)	metadata.json \| 5 2 + 3 - 0 ! prefs.js \| 6 2 + 4 - 0 ! 2 files changed, 4 insertions(+), 7 deletions(-)	fix compatibility with gnome40
Declare compatibility with GNOME Shell 41.patch \| (download)	metadata.json \| 5 4 + 1 - 0 ! 1 file changed, 4 insertions(+), 1 deletion(-)	declare compatibility with gnome shell 41, 42, 43 From some brief testing, this extension seems to be compatible without further changes. Bug-Debian: https://bugs.debian.org/996073 Bug-Debian: https://bugs.debian.org/1008559 Bug-Debian: https://bugs.debian.org/1018282 Signed-off-by: Simon McVittie <smcv@debian.org>

Patch

File delta

Description

fix compatibility with gnome40.patch | (download)

metadata.json | 5 2 + 3 - 0 !
prefs.js | 6 2 + 4 - 0 !
2 files changed, 4 insertions(+), 7 deletions(-)

 fix compatibility with gnome40

Declare compatibility with GNOME Shell 41.patch | (download)

metadata.json | 5 4 + 1 - 0 !
1 file changed, 4 insertions(+), 1 deletion(-)

 declare compatibility with gnome shell 41, 42, 43

From some brief testing, this extension seems to be compatible without
further changes.

Bug-Debian: https://bugs.debian.org/996073
Bug-Debian: https://bugs.debian.org/1008559
Bug-Debian: https://bugs.debian.org/1018282
Signed-off-by: Simon McVittie <smcv@debian.org>