mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 23:04:53 -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.