mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 14:55:34 -04:00
f2689e421d
that we're considering pulling up. I hadn't wanted to think through whether that could work during the first pass at this stuff. However, on closer inspection it seems to be safe enough.