This patch seems OK to me, but I'd appreciate if Alexandre, Tom, Pavel or Jim could confirm it's OK.
- [PATCH] compare header files before installing Morten Eriksen
- Re: [PATCH] compare header files before installing Akim Demaille
- Re: [PATCH] compare header files before installin... Alexandre Oliva
- Re: [PATCH] compare header files before insta... Raja R Harinath
- Re: [PATCH] compare header files before i... Alexandre Oliva
- Re: [PATCH] compare header files before i... Tom Tromey
