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)
2020-01-21 22:13:42 +01:00
parent f0764e8bb6
commit 2387773d93
10 changed files with 76 additions and 53 deletions
--- 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 */
+/**/
+    140,
 /**/
    139,
 /**/