Portal 2 — Portal 2 - Update

An update has been released for Portal 2:

• Fixed some exploits that could lead to crashes or remote code execution against a co-op partner. Reported via HackerOne.