Processing control commands:
> severity -1 important
Bug #1030683 [src:gnome-shell-extensions-extra] gnome-shell-extensions-extra:
unmaintainable
Severity set to 'important' from 'serious'
--
1030683: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1030683
Debian Bug Tracking System
Contact o
Control: severity -1 important
I am lowering the severity of this bug to allow these extensions to
reach Debian 12. I do still think this is RC for Unstable because of
how it breaks user experiences when new GNOME major releases (like 43
to 44) happen but that won't happen for Stable. A major fact
fwd, seems not to have made it to the bts
Forwarded Message
Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable
Date: Tue, 7 Feb 2023 00:49:42 +0100
From: Daniel Baumann
Reply-To: m...@daniel-baumann.ch
To: Jeremy Bícha
CC: Thorsten Alteholz ,
1030
fwd, seems not to have made it to the bts
Forwarded Message
Subject: Re: Bug#1030683: gnome-shell-extensions-extra: unmaintainable
Date: Mon, 6 Feb 2023 17:01:27 +0100
From: Daniel Baumann
Reply-To: m...@daniel-baumann.ch
To: Jeremy Bícha , Thorsten Alteholz
CC: 1030
Hi everybody,
- There is no upstream that bundles these extensions together like this.
there is almost no upstream who creates Debian packages and yet Debian
does it.
- There is no unifying theme for why these extensions are included and
why others are not included, except perhaps these ex
Source: gnome-shell-extensions-extra
Version: 20230205-2
Severity: serious
Justification: unsupportable
Tags: sid bookworm
X-Debbugs-CC: debian-gtk-gn...@lists.debian.org
gnome-shell-extensions-extra is a new collection of 6 different source
packages bundled into a single source package with a sin
6 matches
Mail list logo
