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.

Reply via email to