From: gregor herrmann <gregor@toastfreeware.priv.at>
Date: Thu, 6 Sep 2018 15:39:33 +0000 (+0200)
Subject: deduplicate reloading; we already had an unused function for that
X-Git-Url: https://git.toastfreeware.priv.at/chrisu/seepark.git/commitdiff_plain/4a3782f2287399b05ed0aa59c0ac8c921a21a5c3?hp=4a3782f2287399b05ed0aa59c0ac8c921a21a5c3

deduplicate reloading; we already had an unused function for that
---