Build #1174 (23.06.2019 21:22:35)

1. Add warning for statements with duplicated type information. closes #816 (commit: 2258d29) (detail / githubweb)

Started by GitHub push by Frotty

• refs/remotes/origin/master