Hi, Rob, On Thu, Dec 27, 2018 at 2:35 PM Rob Tompkins <[email protected]> wrote: > > @Jochen I’m going to have a go at merging in 1.4 to master such that it > causes no conflicts. Is that ok???
I wasn't aware of that, so excuse me, if I have been too fast. Just commit, whatever seems to make sense, or rollback my changes. I'll be happy to fix whatever's needed afterwards. Jochen --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
