Revision 2d46c598
ID | 2d46c59812b467e070e9d15e2b0a8cad4e829f7e |
Parent | 655d9f4a |
Child | 90b6004c |
Feature #687: Fix segmentation fault, making the RM the last manager to be initialized
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2d46c59812b467e070e9d15e2b0a8cad4e829f7e |
Parent | 655d9f4a |
Child | 90b6004c |
Added by Carlos MartÃn about 10 years ago
Feature #687: Fix segmentation fault, making the RM the last manager to be initialized