Build #718 (19.07.2018 08:28:08)

1. move some functions around to remove initlater (detail / githubweb)
2. Fix hotdoc (detail / githubweb)

Build wurde durch eine SCM-Änderung ausgelöst.

• refs/remotes/origin/master