Build #142 (26.01.2020 13:17:11)

1. some more fixes (commit: 08df27e) (detail / githubweb)

Started by GitHub push by Frotty

• refs/remotes/origin/master