tree 045fa47bb3cda764bd5ea05e92345af772df1766
parent 6795fbebdf1c348f1539dbd32e255f50e9ff4e12
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1370963972 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1370963972 -0400

do not update the 'updated' timestamp when updating the 'enacted' timestamp otherwise 'updated' will always be larger than 'enacted'