mirror of
https://github.com/postgres/postgres.git
synced 2025-05-29 16:21:20 +03:00
functions. Patch for the reported issue from Kris Jurka, some other potential trouble spots plugged by Tom.
functions. Patch for the reported issue from Kris Jurka, some other potential trouble spots plugged by Tom.