Noah Misch <noah(at)leadboat(dot)com> writes:
> I plan to use the attached patch after the minor release tags land. If
> there's significant support, I could instead push before the wrap.
This looks fine to me --- I think you should push now.
(which reminds me, I'd better get on with making release notes.)
regards, tom lane