[PATCH v11] Add pretty printers for the NPTL lock types

[Martin Galvan]

2016-12-14 15:20 GMT-03:00 Joseph Myers <joseph@codesourcery.com>:
> OK.

Thanks. Can you commit this, since I don't have write access?

Again, thanks for the patience.