https://bugs.freedesktop.org/show_bug.cgi?id=26852
Cyril Brulebois <k...@debian.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |k...@debian.org
--- Comment #7 from Cyril Brulebois <k...@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.
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/dri-devel
