Your message dated Sun, 28 Aug 2022 20:02:22 +0200
with message-id
<cana01bl9jrbxfxxmqjh+8vbw8k8wfrdxudhazbn9pk24pa0...@mail.gmail.com>
and subject line Re: Bug#1018293: terminus: needs update for GNOME Shell 43
has caused the Debian Bug report #1018293,
regarding terminus: needs update for GNOME Shell 43
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.)
--
1018293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018293
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: terminus
Version: 1.17.0-1
Severity: important
Tags: bookworm sid patch
User: pkg-gnome-maintain...@lists.alioth.debian.org
Usertags: gnome-shell-43
terminus contains a GNOME Shell extension which isn't flagged as compatible
with GNOME Shell 43, so it will not be loaded by GNOME Shell 43 with
default settings. GNOME 43 is the version that we plan to ship in bookworm.
Ubuntu has a patch which just adds Shell 43 as a supported version in the
metadata:
https://patches.ubuntu.com/t/terminus/terminus_1.17.0-1ubuntu1.patch
Hopefully that's sufficient? (I haven't checked, I don't use terminus
myself.)
I don't know how vital this extension is for terminus' functionality. If
it's optional then this bug can be downgraded to normal or minor.
Conversely, if the extension is essential to terminus' functionality on
GNOME, then this bug should probably go up to grave when GNOME Shell 43
goes to unstable (see https://bugs.debian.org/1018118).
smcv
--- End Message ---
--- Begin Message ---
Package: terminus
Version: 1.17.0-2
oops, I pushed the patch before seeing this bug.
--- End Message ---
