On 01/05/2020 15:36, Maurizio Cimadamore wrote:
in which case close() will fail and acquire() will fail.
I meant close() will fail and segment will be acquired

Reply via email to