Remove duplicated word in comment
Reviewed-by: Michael Paquier <michael(at)paquier(dot)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(-)