From a56214433fc6f9e1474b4887c0c507c348003e70 Mon Sep 17 00:00:00 2001
From: Travis CI <>
Date: Mon, 14 Dec 2020 04:52:08 +0000
Subject: [PATCH] Deploy to GitHub Pages:

---
 modules/core/list.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/core/list.html b/modules/core/list.html
index 337839ec..b99c9d99 100644
--- a/modules/core/list.html
+++ b/modules/core/list.html
@@ -198,7 +198,7 @@ System.print(list) //> [a, new, c]
 </pre>
 
 <p>It is a runtime error if the index is not an integer or is out of bounds.</p>
-<h2><strong>+</strong>(other) operator <a href="#+(other)-operator" name="+(other)-operator" class="header-anchor">#</a></h2>
+<h3><strong>+</strong>(other) operator <a href="#+(other)-operator" name="+(other)-operator" class="header-anchor">#</a></h3>
 <p>Appends a list to the end of the list (concatenation). <code>other</code> must be a <code>List</code>.</p>
 <pre class="snippet">
 var letters = ["a", "b", "c"]