Portal 2 Update from July 14, 2020

An replace has been launched for Portal 2 Authoring Tools.

– Fixed the Publishing Tool failing to show any workshop merchandise with an ID too massive to suit into 32 bits.

Source

Read also