Build #544 (04.12.2017 22:45:24)

1. improved error positions (see #597) (commit: 7081dad) (detail / githubweb)

Started by remote host 192.30.252.42 with note: null

• refs/remotes/origin/master