Fix duplicate patch number 1.

diff --git a/src/version.c b/src/version.c
index 20ea596da215a5c9896d5fc0e5512d748bbfb966..d5622106fd8bc3b9ce347a415e9535810f94c1fb 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -728,8 +728,6 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
-/**/
-    1,
 /**/
     1,
 /**/