patch 9.0.0086: tabline is not redrawn when entering command line

Problem:    Tabline is not redrawn when entering command line.
Solution:   Set "redraw_tabline". (closes #10771)
diff --git a/src/ex_getln.c b/src/ex_getln.c
index 3c984ff..a5196fc 100644
--- a/src/ex_getln.c
+++ b/src/ex_getln.c
@@ -1758,6 +1758,13 @@
 		wp->w_redr_status = TRUE;
 		found_one = TRUE;
 	    }
+
+	if (*p_tal != NUL)
+	{
+	    redraw_tabline = TRUE;
+	    found_one = TRUE;
+	}
+
 	if (found_one)
 	    redraw_statuslines();
     }