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.
