diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2020-04-10 10:44:10 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2020-04-10 10:44:10 -0400 |
| commit | 7b99e46742fc93e0cd8d48b0eec55eca1a7b2790 (patch) | |
| tree | 9bcb9a0cfbdd371575a5bce885931fd26766e39a /src/backend/executor/spi.c | |
| parent | 564c1e6d737d7c575e8af4fc271f497fcff9aecb (diff) | |
Doc: sync CREATE GROUP syntax synopsis with CREATE ROLE.
CREATE GROUP is an exact alias for CREATE ROLE, and CREATE USER is
almost an exact alias, as can easily be confirmed by checking the
code. So the man page syntax descriptions ought to match up. The
last few additions of role options seem to have forgotten to update
create_group.sgml, though. Fix that, and add a naggy reminder to
create_role.sgml in hopes of not forgetting again.
Discussion: https://postgr.es/m/158647836143.655.9853963229391401576@wrigleys.postgresql.org
Diffstat (limited to 'src/backend/executor/spi.c')
0 files changed, 0 insertions, 0 deletions