mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 10:47:29 +08:00
Reported-by: Mark Wood Bug: 14912 Discussion: https://postgr.es/m/20171116171735.1474.30450@wrigleys.postgresql.org Author: David G. Johnston Backpatch-through: 10