« Previous | Next » 

Revision 231b3e80

ID231b3e80bd44081e4306eb09d600e5f17c0237bd
Parent a717c151
Child 363d6b15

Added by Carlos Martín over 10 years ago

Bug #317: Before migration, the RM checks if another migration has just started.
(cherry picked from commit ff683fc5014c334080e363911b7157cf93ac8ffa)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences