tree a3f6ac4bf3494d167e84ce2b5e2ec88ce01cf9d0
parent e54668110ece4c6113a4e880f6ce5c21636978e5
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358485741 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358485741 -0800

add optional old_seq field in SyncState