Hi, On 2018-03-27 18:10:31 -0700, Andres Freund wrote: > K, not 100% sure I'll get it done today, I'm neck deep looking at > something else. But if not, I'll surely get it done tomorrow morning > PST.
I've pushed a somewhat hurried fix. It passes all the tests here, but normally I would've let it rest for more than a minute ;). I'll check it again tomorrow. Let's hope the buildfarm turns a bit greener. - Andres
