■(Linux版)VMware Player 7.1.2からVMware Workstation 12 Playerにアップデートする。 商用版の「Player Pro」が「VMware Workstation Player」に名称変更された。 個人利用に限る無償評価版も併せて「Player」から「VMware Workstation Player（無償）」に…