Build #920 (18.08.2018 02:57:06)

1. fix #709 (commit: e65110d) (detail / githubweb)

Started by remote host 192.30.252.44 with note: null

• refs/remotes/origin/master

• tests.wurstscript.tests.BugTests.ticket709