From 3437135837aa39adca4c4ecf899cbda4d74e39c1 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Fri, 11 Oct 2019 04:38:28 -0400 Subject: [PATCH] Update history to reflect merge of #7856 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index d7c29e08..3f3dae1b 100644 --- a/History.markdown +++ b/History.markdown @@ -20,6 +20,7 @@ * Update old GitHub wiki URL with new one (#7823) * Update JekyllConf page with 2019 talks (#7826) * link for memberships (#7825) + * Doc: minor fix, should be greater or equal to min version [ci skip] (#7856) ### Development Fixes