deb1a71 Update history to reflect merge of #8518 [ci skip]

Authored and Committed by jekyllbot 3 years ago
file modified
+6 -0