From: Silvio Rhatto <rhatto@riseup.net>
Date: Tue, 24 Oct 2017 11:24:17 +0000 (-0200)
Subject: Merge commit '5107961a3db5fd862e1924394ba56595fd36d44f' into develop
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=c59d406baa0b3d00e68b1137556afb47ccde7fef;p=debian.git

Merge commit '5107961a3db5fd862e1924394ba56595fd36d44f' into develop
---

c59d406baa0b3d00e68b1137556afb47ccde7fef
diff --cc puppet/bin/copymodules
index 0000000,85f7499..85f7499
mode 000000,100755..100755
--- a/puppet/bin/copymodules
+++ b/puppet/bin/copymodules