Bruce Momjian <br...@momjian.us> writes:
> Should I make the change now?  It is easy.

Yes.

> Should we remove the names completely?

That would be a policy change too, and one that probably requires more
leisurely consideration than we have time for today.

                        regards, tom lane

-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to