Aurelien Jarno wrote: > As far as I understand, the patch is correct. If you need a header you > have to include it and do not assume it is included by another one. This > also improves portability among various OS. My concern was that this is breaking various unrelated packages. Lucas said though that this is not affecting many (~10) so it's probably fine. Regards, Faidon