On Mon, 2019-06-03 at 16:01 +0200, Pali Rohár wrote:
> Hi!
>
> On Thursday 23 May 2019 16:12:18 Frédéric Danis wrote:
> > Hi Pali,
> >
> > On 17/05/2019 16:38, Pali Rohár wrote:
> > > On Friday 17 May 2019 16:26:30 Frédéric Danis wrote:
> > > > Hi Pali,
> > > >
> > > > On 17/05/2019 15:51, Pali
On Thu, 2019-06-06 at 18:39 +0200, Arun Raghavan wrote:
> On Wed, 5 Jun 2019, at 7:29 PM, Pali Rohár wrote:
> > On Wednesday 05 June 2019 09:57:01 Georg Chini wrote:
> > > On 04.06.19 19:42, Tanu Kaskinen wrote:
> > > > On Fri, 2019-05-31 at 16:59 +0300, Kai Vehmanen wrote:
> > > > > Hi all,
> > >