On 02/21/2012 07:23 PM, Jan Kratochvil wrote: > I do not agree with the patch but it is very formal, one can change any code > by any number of patches. I can submit then some change on top of it. Such > patch would definitely conflict with ours otherwise. Thanks. I've checked it in. -- Pedro Alves