tree 7e915b07b613926b9887bb38d878e37922ba409a
parent 04470f2e4ac72a6a89d28eaea4884f0f98595250
author Sapan Bhatia <sapanb@cs.princeton.edu> 1419267047 -0500
committer Sapan Bhatia <sapanb@cs.princeton.edu> 1419267047 -0500

Fixes to sync_slivers moved over from alpha