From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 2 Dec 2018 00:17:59 +0000 (+0100)
Subject: Remove port 443 workaround for blocked SSH port; too rare an issue.
X-Git-Url: https://plomlompom.com/repos/berlin_corona.txt?a=commitdiff_plain;h=f516b485b15409f3550c25e5c92723d8a24c2e8a;hp=f516b485b15409f3550c25e5c92723d8a24c2e8a;p=config

Remove port 443 workaround for blocked SSH port; too rare an issue.
---