> On Dec 7, 2018, at 8:38 AM, Jean-Louis Monteiro <[email protected]> > wrote: > > I have built and reviewed this PR. We should merge it. The master is broken > anyway because we need to update the rest-client api version. > > Are we ok to merge it and continue the work on master?
You know my philosophy: - if it's a step forward or sideways and no steps backwards, it's good More people will be able to help if it's in master. -David
