> On Nov 17, 2018, at 5:57 AM, Wilson Lam <[email protected]> wrote: > > Hi, > > Will #4538 fix be included in this release of 7.1.5? I hope so because of the > need to use docker in the open source world.
Unfortunately, I think this should wait until v7.1.6. Someone would also need to make a pull request for 7.1.x branch for this PR (it’s a little bit of work, because these files have changed names). Thanks, — Leif
