Subject: Re: bug#44396: FIXED

From: Stefan Kangas <[email-masked]>
Date: Tue, 3 Nov 2020 04:38:38 +0000

Pankaj Jangid <[email-masked]> writes:

> This is fixed.

OK, closing.

(You can close the bug yourself in the future by sending an email to
[email-masked] where NNNNN is the bug number.)