I wrote:
> I'm afraid to push this in today, because today is a release wrap day,
> and there's no time to recover if it turns out that we tickle some
> portability issue. But I think we should fix it as soon as the release
> dust settles.
Pushed now. Barring buildfarm complaints, it'll be in our May releases.
regards, tom lane