On Feb 16, 2017 01:06, "Pierre-Yves David"
wrote:
On 02/15/2017 09:49 PM, Martin von Zweigbergk wrote:
> On Wed, Feb 15, 2017 at 3:06 AM, Pierre-Yves David
> wrote:
>
>> # HG changeset patch
>> # User Pierre-Yves David
>> # Date 1479491019 -3600
>> # Fri Nov 18 18:43:39 2016 +0100
>> #
On 02/15/2017 09:49 PM, Martin von Zweigbergk wrote:
On Wed, Feb 15, 2017 at 3:06 AM, Pierre-Yves David
wrote:
# HG changeset patch
# User Pierre-Yves David
# Date 1479491019 -3600
# Fri Nov 18 18:43:39 2016 +0100
# Node ID 42d4b49b39d6879065209ea3ca71f1e3fa88fcbc
# Parent 354020079723
On Wed, Feb 15, 2017 at 3:06 AM, Pierre-Yves David
wrote:
> # HG changeset patch
> # User Pierre-Yves David
> # Date 1479491019 -3600
> # Fri Nov 18 18:43:39 2016 +0100
> # Node ID 42d4b49b39d6879065209ea3ca71f1e3fa88fcbc
> # Parent 354020079723e02ad6db68f58ef26eb7ebd005a8
> # EXP-Topic col