Revision fbedfdc2
ID | fbedfdc2a6e8a5d6d2ea329710feb7568276e336 |
Parent | 17fa5bc2 |
Child | c1af58b3 |
bug #2923: Clean VM monitor when VM_INDIVIDUAL_MONITOR is set to "no" (default)
Files
- added
- modified
- copied
- renamed
- deleted
ID | fbedfdc2a6e8a5d6d2ea329710feb7568276e336 |
Parent | 17fa5bc2 |
Child | c1af58b3 |
Added by Ruben S. Montero about 7 years ago
bug #2923: Clean VM monitor when VM_INDIVIDUAL_MONITOR is set to "no" (default)