mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 13:17:37 +08:00
are correct, consistent, and complete ... motivated by gripe from Oliver Elphick, but I see someone had already made an incomplete stab at this.