From: Raphaël Barrois <raphael.barrois@polytechnique.org>
Date: Sun, 30 Jan 2011 22:46:40 +0000 (+0100)
Subject: Merge branch 'core/1.1.2/maint' into core/master
X-Git-Tag: core/1.1.3~20
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=5efd40f4da01f00a042e4cac5881242889077132;p=platal.git

Merge branch 'core/1.1.2/maint' into core/master
---

5efd40f4da01f00a042e4cac5881242889077132