On Sat, 2020-05-16 at 09:31 +, Mike Gabriel wrote:
> Hi Luca,
>
> On Do 14 Mai 2020 20:18:53 CEST, Luca Boccassi wrote:
>
> > On Thu, 2020-05-14 at 13:32 +, Mike Gabriel wrote:
> > > Hi Luca,
> > >
> > > On Do 14 Mai 2020 11:52:22 CEST, Luca Boccassi wrote:
> > >
> > > > On Thu, 2020-
Hi Luca,
On Do 14 Mai 2020 20:18:53 CEST, Luca Boccassi wrote:
On Thu, 2020-05-14 at 13:32 +, Mike Gabriel wrote:
Hi Luca,
On Do 14 Mai 2020 11:52:22 CEST, Luca Boccassi wrote:
> On Thu, 2020-05-14 at 08:03 +0200, Mike Gabriel wrote:
> > Dear maintainer(s),
> > [...]
> > If that workfl