From: Nicolas Iooss Date: Sun, 1 Jun 2014 19:33:13 +0000 (+0200) Subject: Merge branch 'xorg/maint' X-Git-Tag: xorg/1.1.13~15 X-Git-Url: http://git.polytechnique.org/?p=platal.git;a=commitdiff_plain;h=728b73cc1ba81ac5a2611ca804ac7feb0317d459 Merge branch 'xorg/maint' --- 728b73cc1ba81ac5a2611ca804ac7feb0317d459