mirror of
https://github.com/postgres/postgres.git
synced 2025-07-02 09:02:37 +03:00
This doc update was missed in 898e5e3290
. Backpatch to 12.
Pointed out by Pavel Luzanov
Discussion: https://postgr.es/m/642e9fbc-b832-698b-9a8f-d626afd7014d@postgrespro.ru