Felix Schumacher Tue, 16 Jul 2019 12:26:22 -0700
Hi all, the nightly index generation with git based builds is working again.
Felix
