mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 16:17:36 +08:00
HP's web server has apparently become case-sensitive sometime recently. Per bug #13479 from Daniel Abraham. Corrected link identified by Alvaro.