Re: Letter case of "admin option"

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/