new deploy: 2022-10-27T18:27:02+00:00

2022-10-27 18:27:02 +00:00 · 2022-10-27 18:27:02 +00:00 · 0aad6f3f93
commit 0aad6f3f93
--- a/index.html
+++ b/index.html
@ -125,6 +125,7 @@
 <li>André Jaenisch</li>
 <li>Arnold Schrijver</li>
 <li>Anthony Wang</li>
+<li>Johannes Schnürle</li>
 </ul>

                  </div>
--- a/search_index.en.js
+++ b/search_index.en.js