On 04/18/2013 02:26 PM, Manik Surtani wrote: > I presume versioning (based on Vector Clocks) is now in master, as a > part of Pedro's work on total order? No, I didn't add vector clocks.