On 05/23/14 at 11:15am, Dimitris Papastamos wrote: > hiro is microblogging on this ml.
On 05/23/14 at 10:52am, Carlos Torres wrote: > microcomment "yay" On 05/23/14 at 04:53pm, Martti Kühne wrote: > "some people" Thank you for the helpful set of replies, guys. Manolo