> On Dec 27, 2018, at 4:08 PM, Jochen Wiedmann <[email protected]>
> wrote:
>
> 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.
>
No stress. All changes are merged into master now.
Cheers,
-Rob
> Jochen
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [email protected]
> For additional commands, e-mail: [email protected]
>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
