Hi,

On Tue, 22 Dec 2020 at 17:12, zimoun <[email protected]> wrote:

>> Is it still relevant?  If yes, could you provide more information to
>> tackle it?  For example, more context or recipe to reproduce it.  If no,
>> feel free to close it.
>
> If no news in the coming days about the relevance of this bug, I will
> took the liberty to close it.

So I am closing.  Feel free to reopen it if I have misunderstood
something.


All the best,
simon



Reply via email to