mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 15:47:35 +08:00
Defining duplicates as "close by" to each other was unclear. Simplify the definition. Backpatch: 13-, where deduplication was introduced (by commit 0d861bbb)