Subject: Re: bug#48995: apparently fixed

From: Nicolas Martyanoff <[email-masked]>
Date: Sat, 07 Jan 2023 11:37:15 +0100

FYI This bug seems to have been fixed by
899055eef5b212d63e352ada2ac917d13c033a59.

-- 
Nicolas Martyanoff
https://n16f.net
[email-masked]