Quoting Denis Barbier (barbier@linuxfr.org): > > I meant the latter, and I do not have a full up-to-date checkout. I have a checkout from 11/18 at 18h55 GMT.