Vor 7 Jahre 4 Monate gestartet
Dauer: 11 Minuten

Build #439 (17.08.2017 21:30:29)

Changes
  1. implemented a minimal version of array-inits (commit: 6842102) (detail / githubweb)

Started by remote host 192.30.252.42 with note: null

Revision: 6842102f1e7fc3923c617beb43ff1ff606ea518e
  • refs/remotes/origin/master
Testergebnis (Kein Test fehlgeschlagen.)