Subject: Re: bug#39516: Solved

From: Stefan Kangas <[email-masked]>
Date: Sun, 09 Feb 2020 16:00:30 +0100

"Jose A. Ortega Ruiz" <[email-masked]> writes:

> This issue seems to either have been some spurious configuration, or
> fixed in latest master.  Please feel free to close it.  Thanks!

Thanks, closing the bug with this message.

Best regards,
Stefan Kangas