El Departamento de Defensa de Estados Unidos se compromete a actualizar 4 millones de usuarios a Windows 10