commit | 757bd2ea49585ea9896d6df707c68b4793017039 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Fri Nov 01 19:46:22 2019 +0100 |
committer | Bram Moolenaar <Bram@vim.org> | Fri Nov 01 19:46:22 2019 +0100 |
tree | ebb8ec07fe212632a39e91af67318877396835d5 | |
parent | 7a641ca1e113c813fc39cca26f69cd6fc19f71c2 [diff] [blame] |
patch 8.1.2238: error in docs tags goes unnoticed Problem: Error in docs tags goes unnoticed. Solution: Adjust tags build command. (Ken Takata, closes #5158)
diff --git a/src/version.c b/src/version.c index 3eaf21f..e1d5c64 100644 --- a/src/version.c +++ b/src/version.c
@@ -742,6 +742,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2238, +/**/ 2237, /**/ 2236,