This version is essentially a "maintenance release". It includes changes to three patches:
- Most recent version of the font sizes patch is now bundled
- Updated included developer certificates bundle (now version 2012-10-02)
- Updated version of portuguese hyphenations