On Thu, 05 May 2022 09:47:07 -0700 Tor Slettnes <t...@slett.net> wrote:
Shouldn't this be a higher priority than "normal"? It basically makes "devhelp" unusable.As of today, 15th July 2022, this bug seems to be fixed, at least on my Debian testing desktop.
There hasn’t been a devhelp release, so presumably the bug was in one of the underlying libraries?
If anyone else can confirm, then we can mark it as fixed. cheers, Phil
