From e3caf3c1181ab01bc7f8e045cfae320859da87a7 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 23 May 2020 11:24:12 +0100
Subject: [PATCH] =?UTF-8?q?Added=20Fr=C3=A9d=C3=A9ric's=20homepage.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1d4a831..85d13a2 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ isabelle build -D Featherweight_OCL
 ## Authors
 
 * [Achim D. Brucker](http://www.brucker.ch/)
-* Frédéric Tuong 
+* [Frédéric Tuong]({https://www.scss.tcd.ie/frederic.tuong/) 
 * [Burkhart Wolff](https://www.lri.fr/~wolff/)
 
 ## License