Build #1228 (03.01.2020 12:50:03)

1. improved constant/copy-propagation performance (commit: 901f71b) (detail / githubweb)

Started by GitHub push by peq (2 mal)

• refs/remotes/origin/master