deduplicate reloading; we already had an unused function for that
authorgregor herrmann <gregor@toastfreeware.priv.at>
Thu, 6 Sep 2018 15:39:33 +0000 (17:39 +0200)
committergregor herrmann <gregor@toastfreeware.priv.at>
Thu, 6 Sep 2018 15:39:33 +0000 (17:39 +0200)

No differences found