[PING 3][PATCH v10] Add pretty printers for the NPTL lock types

[Martin Galvan]

On Thu, Nov 17, 2016 at 10:42 AM, Siddhesh Poyarekar
<siddhesh@gotplt.org> wrote:
> We freeze at the end of this year, but it would be best to resume
> reviews at least in the beginning of December since people will start
> vanishing as the year end gets closer.

I'll try to have a new version ready, but I can't promise it'll go in
2.25 for sure. I'd rather have more people try the patch out on
different setups than rush it into master just to take it back again
because it's not working for somebody.