Re: s/user/role/ in section 5.6 of v9.5.0 and 9.6devel of docs.

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"
>
> and
>
> "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.