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