Update history to reflect merge of #6193 [ci skip]

2017-07-01 16:55:36 -04:00 · 2017-07-01 16:55:36 -04:00 · 74373baa55
parent 2253b9dd85
commit 74373baa55
1 changed files with 4 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -26,6 +26,10 @@

  * Use Warn for deprecation messages (#6192)

+### Site Enhancements
+
+  * Small correction in documentation for includes (#6193)
+
 ## 3.5.0 / 2017-06-18

 ### Minor Enhancements