diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
| commit | 757bd2ea49585ea9896d6df707c68b4793017039 (patch) | |
| tree | ebb8ec07fe212632a39e91af67318877396835d5 /src | |
| parent | 7a641ca1e113c813fc39cca26f69cd6fc19f71c2 (diff) | |
patch 8.1.2238: error in docs tags goes unnoticedv8.1.2238
Problem: Error in docs tags goes unnoticed.
Solution: Adjust tags build command. (Ken Takata, closes #5158)
Diffstat (limited to 'src')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 3eaf21fa33..e1d5c64601 100644 --- a/src/version.c +++ b/src/version.c @@ -742,6 +742,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2238, +/**/ 2237, /**/ 2236, |