subject:"\[PATCH 1 of 3 V2\] lock\: use configint for 'ui.timeout' config"

Re: [PATCH 1 of 3 V2] lock: use configint for 'ui.timeout' config

2017-12-04 Thread Yuya Nishihara

On Mon, 04 Dec 2017 11:28:42 +0100, Boris Feld wrote: > # HG changeset patch > # User Boris Feld > # Date 1512007202 18000 > # Wed Nov 29 21:00:02 2017 -0500 > # Node ID 144214ed28417180a25a0f6311de1f0ac0b02b8e > # Parent 8287df8b7be545fdafa22b771012ac65f6264d12 > #

[PATCH 1 of 3 V2] lock: use configint for 'ui.timeout' config

2017-12-04 Thread Boris Feld

# HG changeset patch # User Boris Feld # Date 1512007202 18000 # Wed Nov 29 21:00:02 2017 -0500 # Node ID 144214ed28417180a25a0f6311de1f0ac0b02b8e # Parent 8287df8b7be545fdafa22b771012ac65f6264d12 # EXP-Topic lock-message # Available At