On Mon, 3 Jun 2019, Armijn Hemel - Tjaldur Software Governance Solutions wrote: > hello, > > Thomas: I think you forgot to push branch16: > > "Invalid branch: batch16" Bah. Busy with remodeling the kitchen. Brain is occupied with rewiring and other details. Pushed it out now. Thanks, tglx