From cc2ee8094bb69623de0fdda1127d65bcdfa3cfb7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Mon, 27 Jun 2011 12:33:11 +0200
Subject: [PATCH] Update core.
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 b2eec29..508c23e 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit b2eec295f4a018ae416566007ff9bda64a5f5734
+Subproject commit 508c23e48c10d9b66cb54b4df9931c94565e4c67
-- 
2.1.4