Vor 9 Jahre 3 Monate gestartet
Dauer: 8 Minuten 23 Sekunden

Build #55 (20.08.2015 23:14:53)

Changes
  1. new local optimization: copy- and constant-propagation (commit: 1d38a39) (detail / githubweb)

Started by remote host 192.30.252.40 with note: null

Revision: 514a0020c7045990e6004a572277063b23ec4c68
  • refs/remotes/origin/master
Testergebnis (Kein Test fehlgeschlagen.)