May 8, 2012 Patch (Tools)

From the Portal Wiki
Note: No source link has been provided.

Patch notes

Note: No patch notes were released.