mirror of
https://github.com/postgres/postgres.git
synced 2025-07-15 19:21:59 +03:00
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
This commit is contained in:
@ -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.
|
||||
|
Reference in New Issue
Block a user