Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-19 11:10:37 -0700 (Mon, 19 Sep 2005)
Revision: 7717
Log message:

      Added PostponedJoins to keep track of nodes that were unable to be incorporated into the current view change.
      

Changes  Path
+56 -32 mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla