3.13.3 - Jun 24, 2014 ===================== Changes since 3.11.92 that were not part of subsequent stable releases (3.12.3): - Remove 'New' entry from global menu. It's context-sensitive and therefore does not belong there. - Specify exact Ctrl key in hint for ungrabbing. - Don't auto-fullscreen Boxes on launch.