Portal - Update

An update has been released for Portal.

- Fixed a couple of rare crashes.