mirror of
https://github.com/postgres/postgres.git
synced 2025-12-04 12:02:48 +03:00
These are all dead code now that it's done centrally. Patch by me; thanks to Nathan Bossart and Richard Guo for review. Discussion: https://postgr.es/m/1159933.1677621588@sss.pgh.pa.us
120 KiB
120 KiB