Vladimir_Nesov comments on Open Thread, October 16-31, 2012

Vladimir_Nesov 26 Oct 2012 0:56 UTC
0 points
(I’m testing a possible bug with this comment. Please don’t reply, so that I’ll be able to remove it afterwards.)