mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 12:57:33 +08:00
I started out just to fix the broken markup in commit 1c2085766187031eaeaae7db4785b9e1d4241988, but got distracted by copy-editing. I see Bruce already fixed the markup, but I'll commit the wordsmithing anyway.