Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Notification Fix #1262
Last time I looked at this, I misunderstood
It was set so it would only look at the user's preferred notifier if they were using 10.8.