From e3faf2cb863c518c55d63c221f3b4e532878464c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Sun, 8 Dec 2013 18:47:28 +0100
Subject: [PATCH] Update core

---
 core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core b/core
index 7196da2..d38ecb1 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 7196da2f6d88f876b8bd082497abe4c8170c65fd
+Subproject commit d38ecb11de0d913af7533b957778feea865d0ef4
-- 
2.1.4