diff options
| author | Michael Paquier <michael@paquier.xyz> | 2020-11-02 15:14:41 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2020-11-02 15:14:41 +0900 |
| commit | 8a15e735be00f156a7227741c0ce88702e6de099 (patch) | |
| tree | cbf4c769323851d32da23f4d58895be79dcf2787 /src/backend/partitioning/partbounds.c | |
| parent | 644f0d7cc9c2cb270746f2024c706554e0fbec82 (diff) | |
Fix some grammar and typos in comments and docs
The documentation fixes are backpatched down to where they apply.
Author: Justin Pryzby
Discussion: https://postgr.es/m/20201031020801.GD3080@telsasoft.com
Backpatch-through: 9.6
Diffstat (limited to 'src/backend/partitioning/partbounds.c')
| -rw-r--r-- | src/backend/partitioning/partbounds.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/partitioning/partbounds.c b/src/backend/partitioning/partbounds.c index a4f97c10fe7..ac0c4959727 100644 --- a/src/backend/partitioning/partbounds.c +++ b/src/backend/partitioning/partbounds.c @@ -1783,7 +1783,7 @@ merge_matching_partitions(PartitionMap *outer_map, PartitionMap *inner_map, if (outer_merged_index >= 0 && inner_merged_index >= 0) { /* - * If the mereged partitions are the same, no need to do anything; + * If the merged partitions are the same, no need to do anything; * return the index of the merged partitions. Otherwise, if each of * the given partitions has been merged with a dummy partition on the * other side, re-map them to either of the two merged partitions. |