Jori Mäntysalo Fri, 13 Oct 2017 10:49:06 -0700
On Fri, 13 Oct 2017, Frédéric Chapoton wrote:
Cool, no ? Or maybe nobody cares ?
Cool, yes! -- Jori Mäntysalo