Vladimir_Nesov comments on Open Thread, June 2-15, 2013

[Vladimir_Nesov]

I’ve submitted a ticket to the LW bug tracker.