From 28718b7dc08a1fa8d5d380c87cdfadc843028820 Mon Sep 17 00:00:00 2001 From: Florent Pruvost <florent.pruvost@inria.fr> Date: Tue, 5 Jan 2016 09:44:06 +0000 Subject: [PATCH] change the url of this external dep to cope with new versions of svn -- GitLab