patch 8.0.1352: dead URLs in the help go unnoticed

Problem: Dead URLs in the help go unnoticed. Solution: Add a script to check URLs in the help files. (Christian Brabandt)
2017-11-28 14:19:07 +01:00
parent bdb8139098
commit f38c86eb6b
3 changed files with 71 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -771,6 +771,8 @@ static char *(features[]) =

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