From d7bec8015f76ea37479880ef7ac55fc6289f5fdb Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Tue, 19 May 2020 16:29:34 -0400 Subject: [PATCH] Update history to reflect merge of #8191 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 62fbeb91..5d15b0a2 100644 --- a/History.markdown +++ b/History.markdown @@ -98,6 +98,7 @@ * Fix typo in documentation on GitHub Actions (#8162) * Ease discovery of CLI commands (in their entirety) (#8178) * Remove sudo from Travis CI tutorial (#8187) + * Add Gitlab Pages to 3rd party list (#8191) ### Development Fixes