mirror of
https://github.com/postgres/postgres.git
synced 2025-10-21 02:52:47 +03:00
Commit aac831caf
left this as a to-do; here's code to do it.
Like the previous patch, this is HEAD-only for now.
Discussion: https://postgr.es/m/4496616.iHFcN1HehY@portable-bastien