From 3e2875f39c1cfb9162a01f4883739d8a95423451 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Mon, 6 Mar 2017 20:58:05 -0500 Subject: [PATCH] Update history to reflect merge of #5820 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 15636bb0..03c163d5 100644 --- a/History.markdown +++ b/History.markdown @@ -31,6 +31,7 @@ * Add documentation about order of interpretation (#5834) * Documentation on how to build navigation (#5698) * Navigation has been moved out from docs (#5927) + * Make links in sidebar for current page more prominent (#5820) ### Bug Fixes