On 10/20/2012 11:07 PM, François Dumont wrote: > I have also put a fix in profile/map.h even if it is unrelated to > this evolution. Should I commit it outside this patch ? Yes please! Thanks, Paolo.