> On Jul 14, 2017, at 14:27, Boris Feld wrote:
>
> On Fri, 2017-07-14 at 14:16 -0400, Augie Fackler wrote:
>>> On Jul 14, 2017, at 14:15, Boris Feld
>>> wrote:
>>>
>>> On Fri, 2017-07-14 at 14:11 -0400, Augie Fackler wrote:
On Sun, Jul 09, 2017 at 07:55:22PM +0200, Boris Feld wrote:
>
On Fri, 2017-07-14 at 14:16 -0400, Augie Fackler wrote:
> > On Jul 14, 2017, at 14:15, Boris Feld
> > wrote:
> >
> > On Fri, 2017-07-14 at 14:11 -0400, Augie Fackler wrote:
> > > On Sun, Jul 09, 2017 at 07:55:22PM +0200, Boris Feld wrote:
> > > > # HG changeset patch
> > > > # User Boris Feld
>
> On Jul 14, 2017, at 14:15, Boris Feld wrote:
>
> On Fri, 2017-07-14 at 14:11 -0400, Augie Fackler wrote:
>> On Sun, Jul 09, 2017 at 07:55:22PM +0200, Boris Feld wrote:
>>> # HG changeset patch
>>> # User Boris Feld
>>> # Date 1495197862 -7200
>>> # Fri May 19 14:44:22 2017 +0200
>>> # No
On Fri, 2017-07-14 at 14:11 -0400, Augie Fackler wrote:
> On Sun, Jul 09, 2017 at 07:55:22PM +0200, Boris Feld wrote:
> > # HG changeset patch
> > # User Boris Feld
> > # Date 1495197862 -7200
> > # Fri May 19 14:44:22 2017 +0200
> > # Node ID 985d753d4f5799f2a332140adedb06efd465d62b
> > # Pa
On Sun, Jul 09, 2017 at 07:55:22PM +0200, Boris Feld wrote:
> # HG changeset patch
> # User Boris Feld
> # Date 1495197862 -7200
> # Fri May 19 14:44:22 2017 +0200
> # Node ID 985d753d4f5799f2a332140adedb06efd465d62b
> # Parent 63214f4d9a766761259b650539eede424413e6a2
> # EXP-Topic obs-cache