On 03.06.2013 17:18, Tom Lane wrote:
> Heikki Linnakangas<hlinnakangas@vmware.com> writes:
>> In the interest of getting the release out, I've reverted commit
>> a475c603. We'll probably want to do something more elegant in the
>> future, but this will do for now.
>
> That may be the best short-term answer, but I see no such revert
> in the repo ...
Oh, forgot to push. It's there now.
- Heikki