Revision 15f596b4
ID | 15f596b4aa04fc246b4ef8c887ed22324425dd71 |
Parent | d2796cca |
Child | c7d000fd |
bug #2923: Clean VM monitor when VM_INDIVIDUAL_MONITOR is set to "no" (default)
(cherry picked from commit fbedfdc2a6e8a5d6d2ea329710feb7568276e336)
Files
- added
- modified
- copied
- renamed
- deleted