Bug#1008534: devhelp: No page open

[Phil Armstrong]

On Thu, 05 May 2022 09:47:07 -0700 Tor Slettnes <tor at 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