patch 8.1.1716: old style comments are wasting space

Problem: Old style comments are wasting space Solution: Use new style comments in option header file.
2026-05-25 16:00:52 +00:00 · 2019-07-19 23:15:12 +02:00
parent 06e6377009
commit ab0a789808
2 changed files with 466 additions and 464 deletions
@@ -777,6 +777,8 @@ static char *(features[]) =

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