mirror of
https://github.com/postgres/postgres.git
synced 2025-04-24 10:47:04 +03:00
This was already a runtime failure condition, but it's better to check at validation time if possible. Lightly modified version of a patch by Shigeru Hanada.