From deb1a712b41344eafbec71171aa490875d339465 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Thu, 31 Dec 2020 12:32:41 -0500 Subject: [PATCH] Update history to reflect merge of #8518 [ci skip] --- History.markdown | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/History.markdown b/History.markdown index 6f5f70e1..f4997c4c 100644 --- a/History.markdown +++ b/History.markdown @@ -1,3 +1,9 @@ +## HEAD + +### Documentation + + * typo - do instead of don't (#8518) + ## 4.2.0 / 2020-12-14 ### Minor Enhancements