Subject: Re: bug#39116: This ticket can be closed

From: Stefan Kangas <[email-masked]>
Date: Wed, 15 Jan 2020 02:35:03 +0100

Schwarzgruber Christian <[email-masked]> writes:

> This ticket can be closed. Works now, even without the attached patch.

Thanks.  I'm closing the bug with this message.

Best regards,
Stefan Kangas