mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04: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