From f0542b97f0b6f84b38b2d9151e33e46a4efc597a Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Thu, 26 Sep 2019 13:33:01 -0400 Subject: [PATCH] Update history to reflect merge of #7822 [ci skip] --- History.markdown | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/History.markdown b/History.markdown index 3782836f..3dd8d968 100644 --- a/History.markdown +++ b/History.markdown @@ -20,6 +20,10 @@ * Update old GitHub wiki URL with new one (#7823) * Update JekyllConf page with 2019 talks (#7826) +### Development Fixes + + * Ci/GitHub actions (#7822) + ## 4.0.0 / 2019-08-19 ### Major Enhancements