From: Ralf Jung Date: Thu, 19 Jul 2018 18:41:06 +0000 (+0200) Subject: clarify conflusion X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/1d21c8aa1cd08d2d0db34ad62045f754f189e4c9?hp=1d21c8aa1cd08d2d0db34ad62045f754f189e4c9 clarify conflusion ---