patch 7.4.1415

Problem: Dropped the skip-tags setting. Solution: Put it back.
2016-02-24 22:27:05 +01:00
parent 81275ca9ce
commit 84f4996d2a
2 changed files with 4 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -748,6 +748,8 @@ static char *(features[]) =

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