From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Sat, 19 Jul 2008 13:26:50 +0000 (+0200)
Subject: Merge commit 'origin/master' into hruid
X-Git-Tag: xorg/0.10.0~86^2~61
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=d75f57dac58ca37ea8cd1b7849b0b879ad65c76f;p=platal.git

Merge commit 'origin/master' into hruid
---

d75f57dac58ca37ea8cd1b7849b0b879ad65c76f