Fix missing patch number.

diff --git a/src/version.c b/src/version.c
index c724159d1bb3241a0e76040e1ff1d0382eae64e4..2bc0eab40ed8b3bcc9e7d097a19c836c23589c3e 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static int included_patches[] =
     130,
 /**/
     129,
+/**/
+    128,
 /**/
     127,
 /**/