411 

   411 

   412         if left != right:

   412         if left != right:

   413             return False

   413             return False

   414     return True

   414     return True

   415 

   415 

   417     """ From an obs-marker relation, compute what changed between the

   417     """ From an obs-marker relation, compute what changed between the

   418     predecessor and the successor.

   418     predecessor and the successor.

   419     """

   419     """

   420     effects = 0

   420     effects = 0

   421 

   421 

   425         # Check if description has changed

   423         # Check if description has changed

   426         if changectx.description() != source.description():

   424         if changectx.description() != source.description():

   427             effects |= DESCCHANGED

   425             effects |= DESCCHANGED

   428 

   426 

   429         # Check if user has changed

   427         # Check if user has changed