mirror of
https://github.com/postgres/postgres.git
synced 2025-05-30 00:02:11 -04:00
b23160889c
This makes it easier to write custom scripts that have different logic for each client. Gurjeet Singh, with some changes by me.