LK_SHARED/LK_DOWNGRADE adjustments to lock.9 manual page

[Andriy Gapon]

on 16/11/2012 16:42 Andriy Gapon said the following:
> on 15/11/2012 23:44 Attilio Rao said the following:
>> Do you think you can test this patch?:
>> http://www.freebsd.org/~attilio/lockmgr_forcerec.patch
> 
> I will use this patch in my tree, but I think that it is effectively already quite
> well tested by using INVARIANTS+WITNESS.
> 

I've been using this patch in both debug and non-debug environments and I have not
run into any issues.  Please commit when you get a chance.
Thank you.

-- 
Andriy Gapon