Portal 2 - Update

An update has been released for Portal 2. - Fixed the ping tool not working in co-op.