mirror of
https://github.com/postgres/postgres.git
synced 2026-06-10 17:40:12 -04:00
c2d1eea9e7
I was wondering if this would be an issue, and buildfarm member frogmouth says it is.