mirror of
https://github.com/postgres/postgres.git
synced 2026-06-02 05:49:16 -04:00
af7211e92d
Also improve one error message. Reviewed-by: David Steele <david@pgmasters.net>