Build #1231 (03.01.2020 17:10:33)

1. fix: accidentially removed compilation before tests in previous commit (commit: 5372820) (detail / githubweb)

Started by GitHub push by peq

• refs/remotes/origin/master