Hi Carsten,
On 1/1/21 13:36, Alejandro Colomar (man-pages) wrote:
If the issue is still happen it's very likely it's an upstream issue and
needs get reported on
https://bugzilla.mozilla.org/home >>
Could you mind filling (or searching for a similar) issue there and
point to the bug report then?
I didn't find it, I'll report it.
I forgot to report it then. I reproduced it again today, so I reported
it just now to their bugzilla:
<https://bugzilla.mozilla.org/show_bug.cgi?id=1746753>
Cheers,
Alex
--
Alejandro Colomar
Linux man-pages maintainer; https://www.kernel.org/doc/man-pages/