« Previous | Next » 

Revision 2d46c598

ID2d46c59812b467e070e9d15e2b0a8cad4e829f7e
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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences