October 30, 2007 Patch (Portal)

From the Portal Wiki

Patch notes

Portal

  • Optimized Portal demos to have fewer issues when going through actual Portals