On 01/19/2012 04:23 PM, Jan Kratochvil wrote: > On Thu, 19 Jan 2012 17:02:31 +0100, Pedro Alves wrote: >> Any comments on this? > > I am fine with it with the comment update. Good idea. Please go ahead. I've applied my patch. Thanks, -- Pedro Alves