patch 8.0.0139

Problem: Warning for unused argument. Solution: Add UNUSED.
2017-01-02 17:26:00 +01:00
parent b094ff4b2b
commit 5e1e6d265d
2 changed files with 4 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -764,6 +764,8 @@ static char *(features[]) =

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