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, -- Robert Haas EDB: http://www.enterprisedb.com
capitalize-admin-option-v1.patch
Description: Binary data
