diff options
| author | Fujii Masao <fujii@postgresql.org> | 2020-11-24 17:00:16 +0900 |
|---|---|---|
| committer | Fujii Masao <fujii@postgresql.org> | 2020-11-24 17:00:16 +0900 |
| commit | e522024bd8dd28a0f13dcccfd39170698f45c939 (patch) | |
| tree | 17db9ceb192f42f579e7457cb6d809db055bd27d /src/backend/utils/adt/selfuncs.c | |
| parent | d03d7549b29236e300aceac0c22173cf19acc675 (diff) | |
| download | postgresql-e522024bd8dd28a0f13dcccfd39170698f45c939.tar.gz postgresql-e522024bd8dd28a0f13dcccfd39170698f45c939.zip | |
doc: Get rid of unnecessary space character from some index items.
Previously some index items have " ," (i.e., space + comma) in the docs
as follows. Since the space character before the comma is unnecessary,
this commit gets rid of that for the sake of consistency with other
index items.
parallel_leader_participation configuration parameter , Other Planner Options
Author: Fujii Masao
Reviewed-by: Euler Taveira
Discussion: https://postgr.es/m/e87b4ddf-1498-2850-bf55-519df3928fd4@oss.nttdata.com
Diffstat (limited to 'src/backend/utils/adt/selfuncs.c')
0 files changed, 0 insertions, 0 deletions