mirror of
https://github.com/postgres/postgres.git
synced 2025-06-19 00:01:45 -04:00
This corrects doc commit 21912e3c0262e2cfe64856e028799d6927862563. Back-patch to v16, like that one. Reviewed by David G. Johnston. Discussion: https://postgr.es/m/20240331061642.07@rfd.leadboat.com