publish: Merge pull request #54 from HarrisonHemstreet/patch-1

generated from commit 7d27d1d

Author: GH Actions Runner

print.html

@@ -199,7 +199,7 @@ <h2 id="the-library-api-team"><a class="header" href="#the-library-api-team">The
 of the standard library, but are experienced with API design and understand the details
 of breaking changes and how they are avoided.</p>
 <h2 id="the-library-contributors"><a class="header" href="#the-library-contributors">The Library Contributors</a></h2>
-<p>In addition to the two teams above, we also have a the Library Contributors,
+<p>In addition to the two teams above, we also have the Library Contributors,
 which is a somewhat more loosely defined team consisting of those who regularly contribute
 or review changes to the standard libraries.</p>
 <p>Many of these contributors have a specific area of expertise,

searchindex.js

@@ -173,7 +173,7 @@ <h2 id="the-library-api-team"><a class="header" href="#the-library-api-team">The
 of the standard library, but are experienced with API design and understand the details
 of breaking changes and how they are avoided.</p>
 <h2 id="the-library-contributors"><a class="header" href="#the-library-contributors">The Library Contributors</a></h2>
-<p>In addition to the two teams above, we also have a the Library Contributors,
+<p>In addition to the two teams above, we also have the Library Contributors,
 which is a somewhat more loosely defined team consisting of those who regularly contribute
 or review changes to the standard libraries.</p>
 <p>Many of these contributors have a specific area of expertise,