El 05/12/22 a las 23:36, Thorsten Glaser escribió:
> Paul Eggert dixit:
>
> > Although you sent your email to 36...@debbugs.gnu.org /
> > 930247@bugs.debian.9org, your email is reporting a separate bug
>
> Oh OK, I wasn’t aware, it sounded similar enough.
I'll clone the bug in Debian (and adjust
On 2023-01-20 01:51, Santiago Ruano Rincón wrote:
I'll clone the bug in Debian (and adjust severities), to make it easier
to follow/differentiate both bugs.
Paul, do you want me to do the same in debbugs.gnu.org?
Please don't bother, since the bug is already fixed upstream.
