mirror of
https://github.com/postgres/postgres.git
synced 2025-09-02 04:21:28 +03:00
Defining duplicates as "close by" to each other was unclear. Simplify
the definition.
Backpatch: 13-, where deduplication was introduced (by commit 0d861bbb
)