patch 8.2.1831: file missing from distribution

Problem: File missing from distribution. Solution: Add the github code analyses file.
2020-10-11 14:22:22 +02:00
parent 4f4d51a942
commit ef16c90423
2 changed files with 3 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

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