mirror of
https://github.com/postgres/postgres.git
synced 2025-11-06 07:49:08 +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