Subject: Re: bug#21559: additional patch needed to set GIT_OPTIONAL_LOCKS=0 in all cases

From: Michael Albinus <[email-masked]>
Date: Sat, 29 Sep 2018 13:16:30 +0200

Version: 27.1

> It looks also good to me. If nobody opposes, I'll commit it next days.

Pushed to master. I'm closing the bug.

Best regards, Michael.