patch 8.2.0025: repeated word in comment

Problem: Repeated word in comment. Solution: Remove one. (Rene Nyffenegger, closes #5384)
2019-12-20 19:07:00 +01:00
parent 95a9dd1efc
commit fe72d08400
2 changed files with 3 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    25,
 /**/
    24,
 /**/