On Wed, Oct 11, 2017 at 2:11 PM Andres Freund <andres(at)anarazel(dot)de> wrote:
> I've pushed this. Thanks for the report & fix!>
Excellent, thanks!
Best,Lukas-- Lukas Fittl