doc: Change some "user" to "role" for consistency in the section
authorPeter Eisentraut <[email protected]>
Sat, 16 Apr 2016 16:54:56 +0000 (12:54 -0400)
committerPeter Eisentraut <[email protected]>
Sat, 16 Apr 2016 16:54:56 +0000 (12:54 -0400)
commit5fdda1ceab35311367ed0dbb283cd8aea896e49b
treeb17b651a12fb695de24309598f35658bb5d011ec
parentefb25e56d8a43917bcadfe3904691b1e1cdbbe20
doc: Change some "user" to "role" for consistency in the section

suggested by Johannes Choo
doc/src/sgml/ddl.sgml