From: Benjamin Auder <benjamin.auder@somewhere>
Date: Thu, 6 Feb 2020 19:18:59 +0000 (+0100)
Subject: merge with remote
X-Git-Url: https://git.auder.net/variants/current/doc/doc/html/index.html?a=commitdiff_plain;h=f32535f2bc8d50470aa87204bbd7971805dbc9ef;p=valse.git

merge with remote
---

f32535f2bc8d50470aa87204bbd7971805dbc9ef