[PATCH v2] Fix mutex pretty printer test and pretty printer output

[Martin Galvan]

2017-01-14 22:56 GMT-03:00 Siddhesh Poyarekar <siddhesh@gotplt.org>:
> Please post the patch with a different and relevant subject line. This is probably the third patch posted in the same conversation and it is hard to keep track this way.

Well, I thought the subject line was accurate. I agree that posting
further patches in the original printers thread is going to get messy
real soon, which is why I started a new thread. What would be more
accurate?