On Sun, 30 Sep 2018 15:47:43 +0200, Georges Racinet wrote:
> On 9/30/18 5:46 AM, Yuya Nishihara wrote:
> > On Fri, 28 Sep 2018 15:31:08 +0200, Georges Racinet wrote:
> >> # HG changeset patch
> >> # User Georges Racinet
> >> # Date 1538060596 -7200
> >> # Thu Sep 27 17:03:16 2018 +0200
> >>
On 9/30/18 5:46 AM, Yuya Nishihara wrote:
> On Fri, 28 Sep 2018 15:31:08 +0200, Georges Racinet wrote:
>> # HG changeset patch
>> # User Georges Racinet
>> # Date 1538060596 -7200
>> # Thu Sep 27 17:03:16 2018 +0200
>> # Node ID d8c9571755a64e1fc3429587dfd3949b9862eceb
>> # Parent
On Fri, 28 Sep 2018 15:31:08 +0200, Georges Racinet wrote:
> # HG changeset patch
> # User Georges Racinet
> # Date 1538060596 -7200
> # Thu Sep 27 17:03:16 2018 +0200
> # Node ID d8c9571755a64e1fc3429587dfd3949b9862eceb
> # Parent d3d4b4b5f725124ef9e93cf74d779a7a05aa11b7
> # EXP-Topic
On 9/28/18 3:31 PM, Georges Racinet wrote:
> # HG changeset patch
> # User Georges Racinet
> # Date 1538060596 -7200
> # Thu Sep 27 17:03:16 2018 +0200
> # Node ID d8c9571755a64e1fc3429587dfd3949b9862eceb
> # Parent d3d4b4b5f725124ef9e93cf74d779a7a05aa11b7
> # EXP-Topic rustancestors-rfc
>