[PATCH][BZ 13690] Do not violate mutex destruction requirements.

[Carlos O'Donell]

On 07/14/2015 04:21 PM, Torvald Riegel wrote:
> Carlos, do you want to consider this for 2.22, or should this rather
> target 2.23?  The actual change is simple.

This is too late for 2.22.

Please discuss and push for 2.23.

Cheers,
Carlos.