Revision ff683fc5
ID | ff683fc5014c334080e363911b7157cf93ac8ffa |
Parent | cd05b5a1 |
Child | e7a05f51 |
Bug #317: Before migration, the RM checks if another migration has just started.
Files
- added
- modified
- copied
- renamed
- deleted
ID | ff683fc5014c334080e363911b7157cf93ac8ffa |
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.