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