mirror of
https://github.com/postgres/postgres.git
synced 2026-05-27 19:15:03 -04:00
86822df9b5
This dramatically cuts short the number of headers the public one brings into whatever includes it.