On 10/14/2018 05:42 PM, Yuya Nishihara wrote:
> On Sun, 14 Oct 2018 15:22:07 +0200, Georges Racinet wrote:
>> # HG changeset patch
>> # User Georges Racinet
>> # Date 1539018701 -7200
>> # Mon Oct 08 19:11:41 2018 +0200
>> # Node ID 50d03c9079ffe3932955353be076ff24c4e87804
>> # Parent
On Sun, 14 Oct 2018 15:22:07 +0200, Georges Racinet wrote:
> # HG changeset patch
> # User Georges Racinet
> # Date 1539018701 -7200
> # Mon Oct 08 19:11:41 2018 +0200
> # Node ID 50d03c9079ffe3932955353be076ff24c4e87804
> # Parent c04176c0f8b9aeaf196bd1eac00207d526f3d53b
> # EXP-Topic
# HG changeset patch
# User Georges Racinet
# Date 1539018701 -7200
# Mon Oct 08 19:11:41 2018 +0200
# Node ID 50d03c9079ffe3932955353be076ff24c4e87804
# Parent c04176c0f8b9aeaf196bd1eac00207d526f3d53b
# EXP-Topic rustancestors-contains
rust: rustlazyancestors.__contains__
This changeset