Mention that glulxe has bumped.
Rewhacked bar-button styles for iOS7.
Add comment.