patch 8.0.1291: C indent wrong when * immediately follows comment

Problem: C indent wrong when * immediately follows comment. (John Bowler) Solution: Do not see "/*" after "*" as a comment start. (closes #2321)
2017-11-12 15:36:38 +01:00
parent 80eaddd3a0
commit f8c53d3d26
4 changed files with 20 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

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