Re: [Maria-developers] question about when locks are released