Deployed c98ea25 to master with MkDocs 1.2.4 and mike 1.1.2

master/CHANGELOG/index.html

@@ -374,6 +374,13 @@
     Removed
   </a>
   
+</li>
+        
+          <li class="md-nav__item">
+  <a href="#fixed" class="md-nav__link">
+    Fixed
+  </a>
+  
 </li>
         
       </ul>
@@ -904,6 +911,13 @@
     Removed
   </a>
   
+</li>
+        
+          <li class="md-nav__item">
+  <a href="#fixed" class="md-nav__link">
+    Fixed
+  </a>
+  
 </li>
         
       </ul>
@@ -1393,6 +1407,10 @@ and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semant
 <h3 id="added">Added</h3>
 <h3 id="changed">Changed</h3>
 <h3 id="removed">Removed</h3>
+<h3 id="fixed">Fixed</h3>
+<ul>
+<li><a href="https://github.com/aeternity/aesophia/issues/404">404</a> Contract polymorphism crashes on non-obvious child contract typing.</li>
+</ul>
 <h2 id="700"><a href="https://github.com/aeternity/aesophia/compare/v6.1.0...v7.0.0">7.0.0</a></h2>
 <h3 id="added_1">Added</h3>
 <ul>

master/sitemap.xml

@@ -2,47 +2,47 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2022-07-28</lastmod>
+         <lastmod>2022-08-03</lastmod>
          <changefreq>daily</changefreq>
     </url>
 </urlset>