mirror of
https://github.com/postgres/postgres.git
synced 2025-05-31 00:01:57 -04: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