mirror of
https://github.com/postgres/postgres.git
synced 2025-08-09 17:03:00 +03:00
Was wrong in commit 1a9388bd0f
.
Reported-by: Tom Lane, Justin Pryzby
Discussion: https://postgr.es/m/20201102063333.GE22691@telsasoft.com
Backpatch-through: 9.5