tree 28d29c1c03a2bbcc20fbf6725bdbba07799d6d97
parent 078f668835b9d083c99082e5c9ad7f391ef81739
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1397786268 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1397786268 -0400

move key sync logic to sync_slivers