From b561413a81a0b108f239c17f6f90f9abab538db4 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Mon, 24 Aug 2020 10:42:13 -0400 Subject: [PATCH] Update history to reflect merge of #8353 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 11f51e82..34fe45db 100644 --- a/History.markdown +++ b/History.markdown @@ -14,6 +14,7 @@ * Clarify target of subordinate clause (#8320) * Cherry-pick commits from conflicting branch `docs-40` * Update documentation on third party site (#8352) + * Update default.md with info requested in #8314 (#8353) ### Development Fixes