From 97a2f0be50fc7084df7dcc3a3fe4e7d450e1fbae Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 6 Apr 2018 16:39:19 +0100
Subject: [PATCH] Update 2018-01-29-grohens.md

---
 _posts/2018-01-29-grohens.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2018-01-29-grohens.md b/_posts/2018-01-29-grohens.md
index abbf307..bce5084 100644
--- a/_posts/2018-01-29-grohens.md
+++ b/_posts/2018-01-29-grohens.md
@@ -2,6 +2,6 @@
 title: Welcome to Theotime Grohens, internship working on JaVert.
 ---
 
-We are very happy to welcome [Theotime Grohens] (https://angel.co/theotime-grohens) who will be spending three months with the group at the beginning of the year. 
+We are very happy to welcome [Theotime Grohens](https://angel.co/theotime-grohens) who will be spending three months with the group at the beginning of the year. 
 
 Theotime is currently a Master student at the École normale supérieure school in Paris, working with  Pierre Senellart. While at the group, Theo will work on extending JaVerT, the JavaScript Verification Toolchain.   
\ No newline at end of file
-- 
GitLab