zimoun Thu, 21 May 2020 17:23:42 -0700
Dear, Because this bug is tagged moreinfo and without any activities since 13 weeks, I am closing. Feel free to reopen it if I have misunderstood the status of this bug.
Best regards, simon
