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