mirror of
https://github.com/postgres/postgres.git
synced 2025-05-15 19:15:29 +03:00
The documentation claims that this is supported, but it didn't actually work. Fix that. Reported by Pavel Stehule; patch by me.
The documentation claims that this is supported, but it didn't actually work. Fix that. Reported by Pavel Stehule; patch by me.