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