Build #28 (Sep 6, 2018, 1:28:32 PM)

1. write pickled graphs for fast reuse (commit: 40f0ada) (details / githubweb)
2. improve conflict pages. (commit: 86073c2) (details / githubweb)
3. Link conflict edges from witness overview (commit: 7ac95d7) (details / githubweb)

Started by GitHub push by thvitt

• refs/remotes/origin/master