| commit | a3f83feb63eae5464a620ae793c002eb45f7a838 | [log] [tgz] |
|---|---|---|
| author | zeertzjq <zeertzjq@outlook.com> | Mon Nov 22 12:47:39 2021 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon Nov 22 12:47:39 2021 +0000 |
| tree | ba852892bd11fba6e9f70586bc4adc5236a19932 | |
| parent | 73448a27a8e13b9b26759abeb092fd13a0e93238 [diff] [blame] |
patch 8.2.3643: header for source file is outdated Problem: Header for source file is outdated. Solution: Make the header more accurate. (closes #9186)
diff --git a/src/version.c b/src/version.c index f75c08b..cf05293 100644 --- a/src/version.c +++ b/src/version.c
@@ -758,6 +758,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3643, +/**/ 3642, /**/ 3641,