mirror of
https://github.com/postgres/postgres.git
synced 2025-07-24 14:22:24 +03:00
Backpatch as discussed in 20140702192641.GD22738@awork2.anarazel.de
ff. as the error messages are user facing and possibly confusing.
Original commit: 6f9e39bc99