mirror of
https://github.com/postgres/postgres.git
synced 2025-05-30 00:02:11 -04:00
While on it, fix a thinko in the docs, introduced by the same commit. Oversights in e953732. Reported-by: Justin Pryzby Discussion: https://postgr.es/m/20220311214900.GN28503@telsasoft.com