From 55ac4024e944a38b5e4291efc3963fd1b771a248 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 9 Nov 2018 10:14:00 +0000
Subject: [PATCH] Update 2018-07-16-seminar.md

---
 _posts/2018-07-16-seminar.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 74bf8a2..434a83a 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -2,8 +2,7 @@
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
 Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. He 
-presented the latest work on the project he is doing with Emanuele D’Osualdo and which  
-will inform his Master Thesis.
+presented the latest work on the project he is doing with Emanuele D’Osualdo and which will inform his Master Thesis.
 
 The abstract is: 
 Security protocols are distributed programs that are designed to achieve secure 
-- 
GitLab