Alvaro Herrera wrote: > I don't see any reason not to remove this. It's been unused since > a191a169d6d0b9558da4519e66510c4540204a51, dated Jan 10 2007.
Pushed. -- Álvaro Herrera http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
