Your message dated Fri, 13 Sep 2024 06:32:42 -0400
with message-id
<CAD+GYvz6Fug+=6unsu3fiwrq6b4u3cwjyerg2ac-a+gdi6o...@mail.gmail.com>
and subject line Re: gnome-shell-extension-panel-osd: Intent to remove from
Debian
has caused the Debian Bug report #1081580,
regarding gnome-shell-extension-panel-osd: Intent to remove from Debian
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1081580: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1081580
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: gnome-shell-extension-panel-osd
Version: 1.0.50.gc032923-4
Severity: serious
gnome-shell-extension-panel-osd is not compatible with GNOME Shell >=
45. The current version of GNOME Shell in Debian Unstable is 46 and
will likely be 47 later this month.
Meanwhile, this extension has been abandoned upstream a while ago:
https://bugs.debian.org/1018274
I intend to file a bug to request removal of this package from Debian soon.
Thank you,
Jeremy Bícha
--- End Message ---
--- Begin Message ---
On Fri, Sep 13, 2024 at 6:14 AM Sudip Mukherjee
<sudipm.mukher...@gmail.com> wrote:
> I use this extension personally and there is no other replacement for it.
> I did not got the time but its on my todo list for Christmas holiday to
> fix it.
Ok, I'm closing this bug.
Thank you,
Jeremy Bícha
--- End Message ---
