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

2017-09-25 10:41:59 -04:00 · 2017-09-25 10:41:59 -04:00 · cfec06cdba
parent e4b456a2ee
commit cfec06cdba
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -7,6 +7,7 @@
  * Elaborate on excluding items from processing (#6136)
  * Docs: Style lists in tables (#6379)
  * Docs: remove duplicate &#34;available&#34; (#6380)
+  * Docs: GitHub Pages instructions (#6384)

 ### Development Fixes