Vladimir_Nesov comments on Open Thread, January 16-31, 2013

[Vladimir_Nesov]

Thanks for the report. I’ve created a ticket on the issue tracker.