From b6f73be47aed512ae67521bb66943c48abe5755b Mon Sep 17 00:00:00 2001 From: Emiliano Vavassori Date: Tue, 24 Oct 2017 23:20:33 +0200 Subject: [PATCH] Fixing issues with mirror-cfg in the tentative fix for issue #27.