mirror of
https://github.com/postgres/postgres.git
synced 2025-12-06 00:02:13 +03:00
This reverts commit 98e7234242. I
forgot that we're about to wrap a release, and this fix isn't
critical enough to justify committing it right before we wrap
a release.
Discussion: http://postgr.es/m/2676424.1675700113@sss.pgh.pa.us
140 KiB
140 KiB