From 81951bf5628be71a746d88a74b9afbbd6bfe301f Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sat, 2 Sep 2017 07:03:24 +0200
Subject: [PATCH] typo
---
_posts/2017-09-01-tetrapod.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/_posts/2017-09-01-tetrapod.md b/_posts/2017-09-01-tetrapod.md
index 4328f8a..4e7e13f 100644
--- a/_posts/2017-09-01-tetrapod.md
+++ b/_posts/2017-09-01-tetrapod.md
@@ -5,5 +5,5 @@ title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018
tags:
- event
---
-The KWARC group is (jointly with with Jacques Carette fro McMaster University)
+The KWARC group is (jointly with with Jacques Carette from McMaster University)
co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.
--
GitLab