Re: (ITS#8339) LMDB robust mutex fix