Hi,
I just noticed that we restrict creation of a role named "public", butthis is case-sensitive -- i.e. we don't restrict roles named PUBLIC,etc.
Is this intended?
-- Álvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>