On 2022-Aug-26, Robert Haas wrote:
> Here's a patch changing all occurrences of "admin option" in error
> messages to "ADMIN OPTION".
>
> Two of these five messages also exist in previous releases; the other
> three are new.
>
> I'm not sure if this is our final conclusion on what we want to do
> here, so please speak up if you don't agree.
Thanks -- this is my personal preference, as well as speaking on behalf
of a few people who considered the matter from a user's point of view.
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/
