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

Reply via email to