Luigi Rizzo 0e73f29ae2 add support for private knote lock (reduces lock contention),
adapting OS_selrecord accordingly.
Problem and fix suggested by adrian and jmg
2014-11-13 00:40:34 +00:00
..
2014-11-13 00:14:25 +00:00
2014-11-13 00:14:25 +00:00