From 2a796de4e5a6ff5af8e3836f986a7378a2797773 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Thu, 16 May 2013 01:16:34 +0200
Subject: [PATCH] Switch to core/1.1.10
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>
---
 core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core b/core
index f3f26e2..c80c472 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit f3f26e2b84a4ddd6c1daf3013bfa8adc252b727a
+Subproject commit c80c472d71d62a56289b6d0c29a00be9cdcd4389
-- 
2.1.4