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

2019-11-20 10:31:51 -05:00 · 2019-11-20 10:31:51 -05:00 · c964be7628
parent 42bf5675e9
commit c964be7628
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -28,6 +28,7 @@
  * add new theme source (#7875)
  * fixed grammatical error (it&#39;s --&gt; its) (#7887)
  * Docs: Clarify organizing pages into subfolders (#7896)
+  * Disambiguate the placeholder of permalink (#7906)

 ### Development Fixes