On Thu, Apr 05, 2018 at 12:21:45AM +0100, Sérgio Basto wrote:
> On Sun, 2017-08-20 at 20:49 +0100, Sérgio Basto wrote:
> > On Sun, 2017-08-20 at 18:49 +, Zbigniew Jędrzejewski-Szmek wrote:
> > > On Sun, Aug 20, 2017 at 05:09:04PM +0100, Sérgio Basto wrote:
> > > > On Sun, 2017-08-20 at 14:46 +0
On Thu, 2018-04-05 at 09:43 +, Zbigniew Jędrzejewski-Szmek wrote:
> On Thu, Apr 05, 2018 at 12:21:45AM +0100, Sérgio Basto wrote:
> > On Sun, 2017-08-20 at 20:49 +0100, Sérgio Basto wrote:
> > > On Sun, 2017-08-20 at 18:49 +, Zbigniew Jędrzejewski-Szmek
> > > wrote:
> > > > On Sun, Aug 20,