Deployed 40c619c with MkDocs version: 1.1

CHANGELOG/index.html

@@ -92,6 +92,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="#915-2020-03-29" class="nav-link">[9.1.5] - 2020-03-29</a>
+              <ul class="nav flex-column">
+              </ul>
+            </li>
             <li class="nav-item" data-level="2"><a href="#914-2020-03-28" class="nav-link">[9.1.4] - 2020-03-28</a>
               <ul class="nav flex-column">
               </ul>
@@ -609,6 +613,8 @@
 
 <h1 id="changelog">Changelog</h1>
 <p>All changes to this project will be documented in this file.</p>
+<h2 id="915-2020-03-29">[9.1.5] - 2020-03-29</h2>
+<p>(docker) trim down docker image (300M -&gt; 12M) / binary built without symbol and size optimization, and source code not copied over</p>
 <h2 id="914-2020-03-28">[9.1.4] - 2020-03-28</h2>
 <p>(jsoncpp) update bundled copy to version 1.9.3 (at sha 3beb37ea14aec1bdce1a6d542dc464d00f4a6cec)</p>
 <h2 id="913-2020-03-27">[9.1.3] - 2020-03-27</h2>

index.html

@@ -260,5 +260,5 @@ webSocket.send("hello world");
 
 <!--
 MkDocs version : 1.1
-Build Date UTC : 2020-03-28 17:47:15
+Build Date UTC : 2020-03-29 20:07:29
 -->

sitemap.xml

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