Doc: Remove the use of a duplicate word. This has been removed in HEAD by commit a234177906, so doing just backpatch to 15 where it was introduced in commit 860ea46ba7.
Author: Zhang Mingli Discussion: https://postgr.es/m/os0pr01mb57162559c01fe2848c12e8f794...@os0pr01mb5716.jpnprd01.prod.outlook.com Branch ------ REL_15_STABLE Details ------- https://git.postgresql.org/pg/commitdiff/15113bfb467a84688744b57b74a14550878d0224 Modified Files -------------- doc/src/sgml/runtime.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
