Subject: bug#48995: Apparently fixed

From: Dmitry Gutov <[email-masked]>
Date: Sun, 8 Jan 2023 23:59:54 +0200

On 07/01/2023 12:24, Nicolas Martyanoff wrote:
> 
> FYI This bug seems to have been fixed by
> 899055eef5b212d63e352ada2ac917d13c033a59.
> 

Looks like it indeed.

Brian, would you care to verify?