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