tree de395cc1a7c5d75857bc8658e931560cd823534c
parent 5e565668a9edd76d55f29de6c4b13a1fa2177338
author Andy Bavier <acb@cs.princeton.edu> 1465592102 -0400
committer GitHub <noreply@github.com> 1465592102 -0400

Re-run 'make vtn' to work around synchronizer bug