mirror of
https://github.com/postgres/postgres.git
synced 2025-07-09 22:41:56 +03:00
This corrects doc commit 21912e3c02
.
Back-patch to v16, like that one.
Reviewed by David G. Johnston.
Discussion: https://postgr.es/m/20240331061642.07@rfd.leadboat.com