Portal: Portal - Update

An update has been released for Portal. - Fixed a couple of rare crashes.