Build #1122 (24.06.2019 18:29:09)

1. fix duplicated type warning (detail / githubweb)

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

• refs/remotes/origin/master