mirror of
https://github.com/postgres/postgres.git
synced 2025-12-04 00:04:14 -05: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