patch 8.0.1216: tabline is not always updated for :file command

Problem:    Tabline is not always updated for :file command. (Norio Takagi)
Solution:   Set redraw_tabline. (Hirohito Higashi)
diff --git a/src/ex_cmds.c b/src/ex_cmds.c
index 60f47bb..1543728 100644
--- a/src/ex_cmds.c
+++ b/src/ex_cmds.c
@@ -3002,6 +3002,7 @@
     /* print full file name if :cd used */
     if (!shortmess(SHM_FILEINFO))
 	fileinfo(FALSE, FALSE, eap->forceit);
+    redraw_tabline = TRUE;
 }
 
 /*
diff --git a/src/version.c b/src/version.c
index 05db90f..3668e30 100644
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1216,
+/**/
     1215,
 /**/
     1214,