Robert,
Of course we have no notion of exporting or importing names at all.
Maybe we should. But I'm still of the opinion that this entire
discussion is a tangent.
As far as Extensions are concerned? Yes, it is.
Dimitri: I vote for you to get on with assuming everything goes into
pg_extensions. We can always change that later if there's any kind of
consensus.
--
Josh Berkus
PostgreSQL Experts Inc.
www.pgexperts.com
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers