From 16a38dcd1b040ee859e18f42798cc55fd3abb0d5 Mon Sep 17 00:00:00 2001 From: Mathieu Faverge <mathieu.faverge@inria.fr> Date: Mon, 20 Jul 2015 13:57:52 +0000 Subject: [PATCH] Change externals properties -- GitLab