> From: DJ Delorie <dj@redhat.com> > Date: Mon, 12 Oct 2020 13:33:56 -0400 > > Those look like the type of results I expect, yes. > Thanks! as a user I vote for that patch, which is quite useful. I cannot review the code itself (except syntactically) since I'm not a specialist of locks. Paul Zimmermann