Build #1227 (03.01.2020 12:36:03)

1. improved performance for liveness calculation in LocalMerger (commit: c05a8a8) (detail / githubweb)

Started by GitHub push by peq (2 mal)

• refs/remotes/origin/master