On 01/22/2016 09:23 AM, Johannes Choo wrote:
> I think section 5.6 of v9.5.0 and 9.6devel can benefit from changing
> some occurrences of the word 'user' to 'role. Specifically, in
> "For example, if joe is an existing user"
> "The special "user" name PUBLIC can be used to grant a privilege to
> every user on the system.",
Done. These were the only two cases that were inconsistent, I think.