« Previous | Next » 

Revision ff683fc5

IDff683fc5014c334080e363911b7157cf93ac8ffa
Parent cd05b5a1
Child e7a05f51

Added by Carlos Martín over 10 years ago

Bug #317: Before migration, the RM checks if another migration has just started.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences