Fix missing patch number.

2018-07-01 14:22:31 +02:00
parent 46577b5e54
commit ffd112edc6
1 changed files with 2 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static int included_patches[] =
    130,
 /**/
    129,
 /**/
    128,
 /**/
    127,
 /**/
 ,
 /**/
 ,
+/**/
+,
 /**/
 ,
 /**/