Build #308 (13.06.2017 22:23:29)

1. added task to generate hotdoc (commit: ce60741) (detail / githubweb)

Started by remote host 192.30.252.45 with note: null

• refs/remotes/origin/master