From 55bd0391da73c2ca42b56e9be28c394faad0468f Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Thu, 13 Dec 2018 16:31:23 -0500 Subject: [PATCH] Update history to reflect merge of #7420 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index f2a7e0b4..5294e35d 100644 --- a/History.markdown +++ b/History.markdown @@ -88,6 +88,7 @@ * Update resources.md (#7397) * Remove alt attribute from a tags (#7407) * Fix grammatical error in permalinks.md (#7409) + * [Docs] Fix BASH code-block in ubuntu.md (#7420) ### Minor Enhancements