mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-03-04 03:07:02 +08:00
Remove the words "if not already done." This obsolete wording corresponds to an early development version of what became edd44738bc8. Author: Etsuro Fujita Reviewed-by: Amit Langote Discussion: https://postgr.es/m/5ADF117B.5030606@lab.ntt.co.jp