From 55d0e029cedf6f3568cc59bf629eaa9defaa31d6 Mon Sep 17 00:00:00 2001
From: Daniel van der Schuur <schuur@astron.nl>
Date: Thu, 18 Oct 2018 10:16:20 +0000
Subject: [PATCH] -Fixed propset w.r.t. external repos.

-- 
GitLab