On Wed, 12 Dec 2018 12:17:15 +0100, Georges Racinet wrote:
> On 12/11/18 2:10 PM, Yuya Nishihara wrote:
> > On Mon, 10 Dec 2018 18:54:56 +0100, Georges Racinet wrote:
> >> On 12/9/18 6:02 AM, Yuya Nishihara wrote:
> >>> On Wed, 05 Dec 2018 22:43:35 +0900, Yuya Nishihara wrote:
> # HG
On 12/11/18 2:10 PM, Yuya Nishihara wrote:
> On Mon, 10 Dec 2018 18:54:56 +0100, Georges Racinet wrote:
>> On 12/9/18 6:02 AM, Yuya Nishihara wrote:
>>> On Wed, 05 Dec 2018 22:43:35 +0900, Yuya Nishihara wrote:
# HG changeset patch
# User Yuya Nishihara
# Date 1543756237 -32400
On Mon, 10 Dec 2018 18:54:56 +0100, Georges Racinet wrote:
> On 12/9/18 6:02 AM, Yuya Nishihara wrote:
> > On Wed, 05 Dec 2018 22:43:35 +0900, Yuya Nishihara wrote:
> >> # HG changeset patch
> >> # User Yuya Nishihara
> >> # Date 1543756237 -32400
> >> # Sun Dec 02 22:10:37 2018 +0900
> >> #
On 12/9/18 6:02 AM, Yuya Nishihara wrote:
> On Wed, 05 Dec 2018 22:43:35 +0900, Yuya Nishihara wrote:
>> # HG changeset patch
>> # User Yuya Nishihara
>> # Date 1543756237 -32400
>> # Sun Dec 02 22:10:37 2018 +0900
>> # Node ID 716a73bab79be30c20c75e13324c44205d5e2120
>> # Parent