--On 23. September 2009 14:10:39 -0400 Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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