diff options
| author | Bruce Momjian | 2024-11-01 17:54:28 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2024-11-01 17:54:28 +0000 |
| commit | 4200fea80e79851994b8eb5a64a3d4420456c977 (patch) | |
| tree | 22977d6d1e087a666fa2a3babaa78b05eabd51e4 /.github | |
| parent | 94a8c19eed6cdaffad8939a41ed89e3c6afa7c94 (diff) | |
doc: fix ALTER DOMAIN domain_constraint to spell out options
It used to refer to CREATE DOMAIN, but CREATE DOMAIN allows NULL, while
ALTER DOMAIN does not.
Reported-by: [email protected]
Discussion: https://postgr.es/m/[email protected]
Backpatch-through: 12
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions