K 10 svn:author V 3 mjg K 8 svn:date V 27 2017-11-25T20:25:45.196874Z K 7 svn:log V 89 rwlock: fix up compilation of the previous change commmitted wrong version of the patch END