HouseTrip/trailer — pull request #39 by ptsochantaris (2014-01-17 12:43:37+00:00)
Title: “@“ Mention support for comments

- New notification type for mentions, works just like the comment notification
- New option to enable moving PRs which mention the user to the “participated” section
- Menu generation cleaned up in OSX
- Corrected issue where “try again” button would fail in iPhone
- Improved the display of advanced preferences, using ticks instead of YES/NO