Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> I just noticed that we restrict creation of a role named "public", but
> this is case-sensitive -- i.e. we don't restrict roles named PUBLIC,
> etc.
> Is this intended?
Yes. If you had a role named that, you might think that
GRANT whatever TO PUBLIC
should refer to that role.
regards, tom lane