On Mon, Jul 8, 2013 at 11:42 AM, Alexander Ivchenko <aivch...@gmail.com> wrote: >> It sounds like it is better to fix the system headers instead. Via a >> fixincludes for older headers and have the android folks fix them for >> newer releases. > > Would that count for verifing? :)
:) Indeed. I confess I didn't look past March. The patch is now in my inbox. I'll try to get to it next weekend.