From eb7bb500e4c82c19b174320ee9658c17e7cf2b22 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 1 Sep 2020 11:35:43 +0200
Subject: [PATCH 1/1] fix more HTML

---
 research/publications.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/research/publications.html b/research/publications.html
index e1a3266..cbe4de4 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -106,7 +106,6 @@ slug: Publications
   <i>Bachelor Thesis</i><br>
   [<a href="bachelor/bachelor.pdf">thesis</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>]
 </li></ul>
-</p>
 
 <h2>Workshop Talks</h2>
 
-- 
2.30.2