Deployed cc47fb1 with MkDocs version: 1.1.2

CHANGELOG/index.html

@@ -95,6 +95,10 @@
             
             <li class="nav-item" data-level="1"><a href="#changelog" class="nav-link">Changelog</a>
               <ul class="nav flex-column">
+            <li class="nav-item" data-level="2"><a href="#984-2020-06-26" class="nav-link">[9.8.4] - 2020-06-26</a>
+              <ul class="nav flex-column">
+              </ul>
+            </li>
             <li class="nav-item" data-level="2"><a href="#983-2020-06-25" class="nav-link">[9.8.3] - 2020-06-25</a>
               <ul class="nav flex-column">
               </ul>
@@ -824,6 +828,8 @@
 
 <h1 id="changelog">Changelog</h1>
 <p>All changes to this project will be documented in this file.</p>
+<h2 id="984-2020-06-26">[9.8.4] - 2020-06-26</h2>
+<p>(cobra bots) remove bots which is not required now that we can use Python extensions</p>
 <h2 id="983-2020-06-25">[9.8.3] - 2020-06-25</h2>
 <p>(cmake) new python code is optional and enabled at cmake time with -DUSE_PYTHON=1</p>
 <h2 id="982-2020-06-24">[9.8.2] - 2020-06-24</h2>

index.html

@@ -262,5 +262,5 @@ webSocket.send("hello world");
 
 <!--
 MkDocs version : 1.1.2
-Build Date UTC : 2020-06-25 17:06:11.843194+00:00
+Build Date UTC : 2020-06-26 23:49:54.997046+00:00
 -->

sitemap.xml

@@ -1,35 +1,35 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url><url>
      <loc>None</loc>
-     <lastmod>2020-06-25</lastmod>
+     <lastmod>2020-06-26</lastmod>
      <changefreq>daily</changefreq>
     </url>
 </urlset>