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)