https://bugs.freedesktop.org/show_bug.cgi?id=26852
Cyril Brulebois kibi@debian.org changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |kibi@debian.org
--- Comment #7 from Cyril Brulebois kibi@debian.org 2011-03-05 10:10:11 PST --- Ping? As described in the initial report, there's no reason to prefer system headers over those in the same source… I don't understand Sérgio's objection (I fail to see what's illogical).