> Please close the ticket if no further work is required. Since this was merged into public codebase, I am moving this to public queue and adding Petr Menšík as a Requestor as he was the initiator of the original bug report. Petr could you please look at the proposed solution and comment on that?