On Mon, 15 Oct 2018 11:49:49 +0200, Georges Racinet wrote:
> # HG changeset patch
> # User Georges Racinet
> # Date 1539018701 -7200
> # Mon Oct 08 19:11:41 2018 +0200
> # Node ID a7cbd02e936e6724068219ee4c1c50dd4da2b22c
> # Parent 9cadb0f5f2279a60a79b1d0e50eccd60638495c0
> # EXP-Topic
# HG changeset patch
# User Georges Racinet
# Date 1539018701 -7200
# Mon Oct 08 19:11:41 2018 +0200
# Node ID a7cbd02e936e6724068219ee4c1c50dd4da2b22c
# Parent 9cadb0f5f2279a60a79b1d0e50eccd60638495c0
# EXP-Topic rustancestors-contains
rust: rustlazyancestors.__contains__
This changeset