From ad347a3b9266af9995f2ff115dfc08cf8c72c05b Mon Sep 17 00:00:00 2001 From: Kevin Lacker Date: Wed, 16 Nov 2016 16:26:21 -0800 Subject: [PATCH] include the version number in the header (#8315) --- docs/_includes/navigation.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html index 95bcefb44fce..31ecd5b69785 100644 --- a/docs/_includes/navigation.html +++ b/docs/_includes/navigation.html @@ -16,7 +16,7 @@