Обсуждение: pgsql: Remove duplicated word in comment

Remove duplicated word in comment

Reviewed-by: Michael Paquier <michael@paquier.xyz>
Discussion: https://postgr.es/m/B7C15416-BD61-4926-9843-5C557BCD7007@yesql.se

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/c7d7e1203958952e0ef67d336c58f1e7094e7634

Modified Files
--------------
src/test/recovery/t/013_crash_restart.pl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)