On Monday 26 April 2010 17:17:05 Clint Adams wrote: > On Mon, Apr 26, 2010 at 04:53:24PM +0200, Juliusz Chroboczek wrote: > > The apparent consensus is being ignored -- the default value is still > > the one that people don't want. > > It's the one that I want. > You could still change it, right? -- Salvo Tomaselli