mirror of
https://github.com/postgres/postgres.git
synced 2025-06-05 00:02:04 -04:00
It's not broken because the header file is included via other headers, but for better style we should be more explicit. Reported-by: mthrockmorton@hme.com