https://bugs.freedesktop.org/show_bug.cgi?id=26852
Cyril Brulebois <kibi at debian.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |kibi at debian.org --- Comment #7 from Cyril Brulebois <kibi at 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). -- Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug.