Subject: maybe git issue?

From: KatolaZ <[email-masked]>
Date: Wed, 12 Jul 2017 05:50:46 +0100

Hi Adam,

it seems more a git issue (git doesn't seem to like colons in tag
names). I might easily let d1h replace colons with "_" in tag names,
and issue a warnung, but we must be sure that we like this in general.