From badc9c2d30e6b34a97ccdb0f20b1635e1aea575d Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Thu, 27 Aug 2020 12:50:20 -0400 Subject: [PATCH] Update history to reflect merge of #8354 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 34fe45db..41645c8b 100644 --- a/History.markdown +++ b/History.markdown @@ -15,6 +15,7 @@ * Cherry-pick commits from conflicting branch `docs-40` * Update documentation on third party site (#8352) * Update default.md with info requested in #8314 (#8353) + * Clarify description of `safe` option (#8354) ### Development Fixes