On Wed, 17 Aug 2016 20:16:18 -0700, Gregory Szorc wrote:
> On Tue, Aug 16, 2016 at 5:37 PM, Pierre-Yves David <
> pierre-yves.da...@ens-lyon.org> wrote:
> > On 08/14/2016 06:07 PM, Gregory Szorc wrote:
> >> On Thu, Aug 11, 2016 at 1:06 PM, Pierre-Yves David
> >>
On 08/14/2016 06:07 PM, Gregory Szorc wrote:
On Thu, Aug 11, 2016 at 1:06 PM, Pierre-Yves David
>
wrote:
# HG changeset patch
# User Pierre-Yves David
On Thu, Aug 11, 2016 at 1:06 PM, Pierre-Yves David <
pierre-yves.da...@ens-lyon.org> wrote:
> # HG changeset patch
> # User Pierre-Yves David
> # Date 1470774698 -7200
> # Tue Aug 09 22:31:38 2016 +0200
> # Node ID 8c4fcb1244bdf79caadadc73fc1e489a160a07ec
> #