Vor 9 Jahre 3 Monate gestartet
Dauer: 9 Minuten 15 Sekunden

Build #29 (21.07.2015 01:01:16)

Changes
  1. fixed #368 - nontermination in local optimizer (commit: 6763ce7) (detail / githubweb)

Started by remote host 192.30.252.46 with note: null

Revision: 6763ce707fed2b7607569a789f7bb686aaa4aa6a
  • refs/remotes/origin/master
Testergebnis (Kein Test fehlgeschlagen.)