On Mon, Jul 22, 2013 at 3:16 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> I think we have consensus to back-patch the other API changes as well.
> I'll work up a patch for that.
Pushed that as well.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company