mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
These are leftovers obsoleted by
cfd9be939e
.
Reviewed-by: Tom Lane <tgl@sss.pgh.pa.us>
Discussion: https://www.postgresql.org/message-id/flat/e7887965-9e70-fd01-c2d1-5bc02f9169aa%40enterprisedb.com