Great, thanks.
On Sun, Apr 17, 2016 at 12:56 AM Peter Eisentraut <peter(at)eisentraut(dot)org>
wrote:
> 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.
>
>