mirror of
https://github.com/postgres/postgres.git
synced 2025-07-02 09:02:37 +03:00
31a89ddeb8
Reported-by: david@kapitaltrading.com Discussion: https://postgr.es/m/166007719137.995877.13951579839074751714@wrigleys.postgresql.org Backpatch-through: 11