On Fri, 20 Jan 2012 12:13:51 +0100, Pedro Alves wrote: > Comments? Just that I would prefer renaming to be a separate commit, otherwise it somehow complicates later regressions analysis etc. Sure very minor note. The real change here is negligible in size compared to the renaming. Thanks, Jan