patch 8.2.0140: CI does not test building doc tags Commit: https://github.com/vim/vim/commit/2387773d933bd6c483e44803db8ec79737ecf7ed Author: Bram Moolenaar <Bram@vim.org> Date: Tue Jan 21 22:13:42 2020 +0100 patch 8.2.0140: CI does not test building doc tags Problem: CI does not test building doc tags. Solution: Add the vimtags/gcc build. Cleanup showing version. (Ozaki Kiichi, closes #5513)

--- a/src/version.c
+++ b/src/version.c
@@ -743,6 +743,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    140,
+/**/
     139,
 /**/
     138,