From 68b492c21e58bc44f613e51a102302672b5ad9c7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Mon, 9 Aug 2010 11:04:15 +0200
Subject: [PATCH] Fix erroneous core update by jacou
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 ef138fd..786bffb 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit ef138fdcc27646d255cb98615c3e64724496c9bd
+Subproject commit 786bffb570bfc2f5ff1dad386a9558501d4c16e8
-- 
2.1.4