On Jul 21, Todd Vierling wrote
> If you install newer include files, you better be intending to install a new
> kernel, and do a "make && make install" in src/lib and src/gnu/lib (part of
> "make build"), or you're likely to be hosed everywhere you compile.
> 
> Mind if I close this PR, then?
> 

I think the patche is so simple it could be included to our X, no ?

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--