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/commands/copyfromparse.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/commands/copyfromparse.c')
0 files changed, 0 insertions, 0 deletions