Thanks for the feedback Balint Vekerdy. Closing the bug as fix committed :). Btw.: it is much better to report a bug with a fault in the description, than not reporting it - so thank you for your report :).
Thanks for the feedback Balint Vekerdy. Closing the bug as fix committed :).
Btw.: it is much better to report a bug with a fault in the description, than not reporting it - so thank you for your report :).