mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-05 20:47:31 +08:00
This is mostly cosmetic, but it might fix build failures, on some platform, when copying from the documentation. Back-patch to 9.3 (all supported versions).