From 922e4c01fe76bd1f21418207e90fd52f96d3fd63 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Thu, 24 Jan 2019 10:17:27 -0500 Subject: [PATCH] Update history to reflect merge of #7495 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 8033cba0..358108be 100644 --- a/History.markdown +++ b/History.markdown @@ -96,6 +96,7 @@ * Grammatical correction (#7464) * Update resources.md (#7472) * Docs: store SSL key and cert in site source (#7473) + * Minor doc fixes (#7495) ### Minor Enhancements