--On 23. September 2009 14:10:39 -0400 Tom Lane <t...@sss.pgh.pa.us> wrote:
FWIW, I looked the patch over quickly, and I think it will be fine once
Bernd's comments are addressed. In particular I agree with the
objection to the name "pg_setting" as being confusingly close to
"pg_settings". But "pg_user_setting" isn't better. Maybe
"pg_db_role_settings"?
Jepp, that's better, +1 from me.
I'm done with this, too, so i will mark this as "Returned with Feedback",
if no one objects?
--
Thanks
Bernd
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
