From: Vincent Zanotti Date: Sun, 19 Oct 2008 03:15:06 +0000 (+0200) Subject: Merge branch 'platal-0.9.17' X-Git-Tag: xorg/0.10.0~82 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=ea74d2785d9c1ff5571ebf2f73c89cbf19c8dd07;p=platal.git Merge branch 'platal-0.9.17' --- ea74d2785d9c1ff5571ebf2f73c89cbf19c8dd07