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

2026-02-03 03:05:07 -05:00 · 2017-01-08 14:51:30 -08:00
parent f26117f3e9
commit 5ef6edb977
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@@ -55,6 +55,7 @@
  * Document --unpublished build option (#5720)
  * Improve pages docs (#5692)
  * Added new includes.md topic to docs (#5696)
+  * Replace a dead link with a web-archived one (#5738)

 ## 3.3.1 / 2016-11-14