Since there hasn't been a reply within the last 5 months, I assume this has been fixed and thus close now this ticket accordingly.
Since there hasn't been a reply within the last 5 months, I assume this has been fixed and thus close now this ticket accordingly.