On Tuesday 03 January 2017 03:20 AM, Joseph Myers wrote: >> 2017-01-02 Martin Galvan <martingalvan@sourceware.org> >> >> * nptl/nptl-printers.py: Fix tabs/spaces mismatches. > > Thanks, please commit this patch as obvious. Pushed. Siddhesh