Re: nightly index is back

[Philippe Mouawad]

Thanks Felix !

On Tue, Jul 16, 2019 at 9:26 PM Felix Schumacher <
felix.schumac...@internetallee.de> wrote:

> Hi all,
>
> the nightly index generation with git based builds is working again.
>
> Felix
>
>

-- 
Cordialement.
Philippe Mouawad.