On Wed, Oct 23, 2019 at 11:47:39AM +0200, K. Schreiner wrote: > with current source cvs upped an hour or so ago:
Are you sure? Doing a clean build? The previous auto build failed the same way you noted, but the current run seems to have worked (so I guess it has been fixed in between). Martin
