From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Sun, 15 Jun 2008 15:28:01 +0000 (+0200)
Subject: Merge branch 'platal-0.9.17' into hruid
X-Git-Tag: xorg/0.10.0~86^2~87
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=22801bd99c3622a107c7fa0b4338b1447b169973;p=platal.git

Merge branch 'platal-0.9.17' into hruid
---

22801bd99c3622a107c7fa0b4338b1447b169973