From: Vincent Zanotti Date: Sat, 18 Oct 2008 14:56:46 +0000 (+0200) Subject: Merge commit 'origin/hruid' X-Git-Tag: xorg/0.10.0~86 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=a0c034efcf0777541e087500e94853f515cda1ca;p=platal.git Merge commit 'origin/hruid' --- a0c034efcf0777541e087500e94853f515cda1ca