mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 12:57:33 +08:00
Patch by David Rowley. Backpatch to 9.5, as some of the calls were new in 9.5, and keeping the code in sync with master makes future backpatching easier.