Gregory Stark <stark@enterprisedb.com> writes:
> "Ibrar Ahmed" <ibrar.ahmad@gmail.com> writes:
>> It works fine on my machine
> Hm, a fresh checkout doesn't crash for me either any more.
It looks like a bug I fixed a week or so back.
regards, tom lane
