Remove duplicated word in comment
authorDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 23 Feb 2022 13:23:50 +0000 (14:23 +0100)
committerDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 23 Feb 2022 13:23:50 +0000 (14:23 +0100)
commitc7d7e1203958952e0ef67d336c58f1e7094e7634
tree1ba128a8bd2729b9df64480a4c60c1c75b9f859a
parent6da65a3f9a9deae4fdcc768c612b0c8f52759f75
Remove duplicated word in comment

Reviewed-by: Michael Paquier <michael@paquier.xyz>
Discussion: https://postgr.es/m/B7C15416-BD61-4926-9843-5C557BCD7007@yesql.se
src/test/recovery/t/013_crash_restart.pl