Subject: Re: bug#21559: additional patch needed to set GIT_OPTIONAL_LOCKS=0 in all cases
From: Michael Albinus <[email-masked]>
To: Phil Sainty <[email-masked]>
Cc: [email-masked], [email-masked], Andrew Ruder <[email-masked]>, [email-masked]
Date: Sat, 29 Sep 2018 13:16:30 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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.