mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 13:37:34 +08:00
e29f8e7535
Reported-by: david@kapitaltrading.com Discussion: https://postgr.es/m/166007719137.995877.13951579839074751714@wrigleys.postgresql.org Backpatch-through: 11