mirror of
https://github.com/postgres/postgres.git
synced 2025-11-16 15:02:33 +03:00
functions. Patch for the reported issue from Kris Jurka, some other potential trouble spots plugged by Tom.
79 KiB
79 KiB