From ef16c90423ae579927e6294c1ccfd17c5a1c113c Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 11 Oct 2020 14:22:22 +0200 Subject: patch 8.2.1831: file missing from distribution Problem: File missing from distribution. Solution: Add the github code analyses file. --- src/version.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/version.c b/src/version.c index 2577c142c3..b3cbf811b8 100644 --- 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, /**/ -- cgit v1.2.3