mirror of
https://github.com/postgres/postgres.git
synced 2026-05-18 06:32:52 -04:00
b2971e2048
Plus some makefile cleanup. part of a patch from Richard Evans