On 08.06.2019 12:35, Michael Tremer wrote:
> Can you pull and try again?

Now it builds. Thanks!

Terrific.

I was looking for something like that, but didn't find it...

Best,

Matthias