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

2019-01-04 06:47:15 -05:00 · 2019-01-04 06:47:15 -05:00 · 1a718e9b12
parent fc51c32337
commit 1a718e9b12
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -91,6 +91,7 @@
  * [Docs] Fix BASH code-block in ubuntu.md (#7420)
  * zlib is missing (#7428)
  * Include docs for `{{ page.collection }}` (#7430)
+  * Permalink docs typo fixes (#7459)

 ### Minor Enhancements