Started 6 yr 8 mo ago
Took 46 min on build3

Build #282 (Aug 30, 2017, 12:42:33 PM)

Changes
  1. Preprint: Don't override coloring for erased stuff. (commit: bd71453) (details)
  2. Revert "Temporarily disable preprint." (commit: a2d1286) (details)
  3. Updated submodules. (commit: cb20fc4) (details)