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.