From ea91864af89662d33e14040c9f8cdd573481977d Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Fri, 3 Mar 2017 15:38:25 -0500 Subject: [PATCH] Update history to reflect merge of #5927 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 66a2236d..15636bb0 100644 --- a/History.markdown +++ b/History.markdown @@ -30,6 +30,7 @@ * Add the correct year to the 3.4.0 release date (#5858) * Add documentation about order of interpretation (#5834) * Documentation on how to build navigation (#5698) + * Navigation has been moved out from docs (#5927) ### Bug Fixes