mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 10:27:35 +08:00
This doc update was missed in 898e5e3290a7. Backpatch to 12. Pointed out by Pavel Luzanov Discussion: https://postgr.es/m/642e9fbc-b832-698b-9a8f-d626afd7014d@postgrespro.ru