Great, thanks. On Sun, Apr 17, 2016 at 12:56 AM Peter Eisentraut <pe...@eisentraut.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. > >
