On Fri, Oct 5, 2018 at 12:49 PM Ruediger Pluem <rpl...@apache.org> wrote: > > > > On 10/05/2018 12:26 PM, Rainer Jung wrote: > > Shouldn't we backport this? Or do you have doubts or maybe waiting for > > feedback? > > From my point of view it can be backported. It was sitting around in trunk > waiting for feedback and then because of > being busy I forgot about. Feel free to propose.
Proposed for backport in r1843208. Thanks for the fix Rüdiger. Regards, Yann.