From 64d73f0ac215d7f7d1f4dc5328dcde28143d8807 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Tue, 19 Oct 2010 23:20:07 +0200
Subject: [PATCH] Switch to latest core.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

This should fix profile edition issue wrt 'binets' list.

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 6305462..548a679 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 6305462f32087ac6f212e563946e8c5f6d3f204e
+Subproject commit 548a67995dcfa2c2d15198088a8fe9fae751109f
-- 
2.1.4