On 14/06/16 22:04 +0200, François Dumont wrote: >Hi > > Here is the patch to limit burden on compiler in finding out what >is the right method to call eventually when we already know it. Very nice, OK for trunk, thanks.