mirror of
https://github.com/postgres/postgres.git
synced 2025-11-07 19:06:32 +03:00
A small API change makes it unnecessary. Reported-by: Mark Dilger <hornschnorter@gmail.com> Discussion: https://www.postgresql.org/message-id/flat/53a28052-f9f3-1808-fed9-460fd43035ab%402ndquadrant.com
9.8 KiB
9.8 KiB