mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 02:37:41 +08:00
FYI, during PDF builds, this link type generates a "Unresolved ID reference found" warning because it is suppressed from the PDF output. Backpatch-through: 12