From: Ralf Jung <post@ralfj.de>
Date: Thu, 10 Dec 2020 19:07:41 +0000 (+0100)
Subject: minor tweaks
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/ef8c8db0c4e5e836b8e5c8126e38299ae622e4d3?hp=ef8c8db0c4e5e836b8e5c8126e38299ae622e4d3

minor tweaks
---