> On Jan 5, 2017, at 7:17 AM, Kees Spoelstra <[email protected]> wrote: > > We had a PR for https://issues.apache.org/jira/browse/TS-5108 on master, on > which branch do we need to PR for 7.1.0. (7.0.x?)
Looks like it was merged :). — leif
> On Jan 5, 2017, at 7:17 AM, Kees Spoelstra <[email protected]> wrote: > > We had a PR for https://issues.apache.org/jira/browse/TS-5108 on master, on > which branch do we need to PR for 7.1.0. (7.0.x?)
Looks like it was merged :). — leif