Blijkbaar heb ik het gemist, maar VMware heeft vorige week een update uitgebracht voor VMware Workstation. Versie 7.1.3 is een feit en upgraden kan via “Help > Check for Software Updates Now” in VMware Workstation.
Check de release notes om te zien wat er veranderd is (vooral fixes).