mirror of
https://github.com/postgres/postgres.git
synced 2025-08-30 06:01:21 +03:00
Patch by me. Review by Álvaro Herrera, Amit Kapila, Jeff Janes, Gurjeet Singh, and others.
Patch by me. Review by Álvaro Herrera, Amit Kapila, Jeff Janes, Gurjeet Singh, and others.