* Tom Lane (tgl(at)sss(dot)pgh(dot)pa(dot)us) wrote:
> Given other discussion, it might be best to rename it to RoleId and use
> that for both users and groups.
Ok, should I change SchemaName & SavePointId back to ColId, leave them
as in the patch, change them to RoleId, or something else? Neither
ColId nor RoleId seems appropriate for those..
Thanks,
Stephen