mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 04:47:38 +08:00
These were inadvertently ommitted from the commit that introduced abbreviated keys, commit 4ea51cdfe85ceef8afabceb03c446574daa0ac23. Peter Geoghegan