From a489a6b3e5033e2bcdb57324993266e00b622a0d Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
Date: Sat, 25 Apr 2020 03:58:36 -0400
Subject: [PATCH] Update history to reflect merge of #8135 [ci skip]

---
 History.markdown | 1 +
 1 file changed, 1 insertion(+)

diff --git a/History.markdown b/History.markdown
index e31f2b34..d48016dd 100644
--- a/History.markdown
+++ b/History.markdown
@@ -85,6 +85,7 @@
   * Add help about Gentoo/Linux (#8002)
   * Update documentation on third party site (#8122)
   * Added Clear Linux (#8132)
+  * Added note about OS specific installation instructions. (#8135)
 
 ### Development Fixes