From cdad23d5d28a1e61324d052c1d3c94975417c320 Mon Sep 17 00:00:00 2001 From: Mark Otto Date: Thu, 19 Oct 2017 13:04:39 -0700 Subject: [PATCH] fixes #24445 also pushed a hotfix to gh-pages branch --- _includes/docs-navbar.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_includes/docs-navbar.html b/_includes/docs-navbar.html index ecedf7c4d6..4f3e68738d 100644 --- a/_includes/docs-navbar.html +++ b/_includes/docs-navbar.html @@ -37,7 +37,7 @@ -- 2.47.2