tree f3787dc7502fc347608096a26c180430356f23eb
parent 5591fa8abd800429cf809d136cd0ecf56e6c3d80
author Andy Bavier <acb@cs.princeton.edu> 1457036508 -0500
committer Andy Bavier <acb@cs.princeton.edu> 1457036508 -0500

Use copy instead of synchronize b/c synchronize doesn't seem to be proxied