Portal 2 UpdateAn update has been released for Portal 2- Minor code maintenance, no customer-facing changes.