From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Sun, 20 Jul 2008 16:23:55 +0000 (+0200)
Subject: Merge branch 'master' into hruid
X-Git-Tag: xorg/0.10.0~86^2~55
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=bb749d55509e1ea442cf67ad03975a2f4535aa90;p=platal.git

Merge branch 'master' into hruid
---

bb749d55509e1ea442cf67ad03975a2f4535aa90