Learn more about these different git repos.
Other Git URLs
d144f9d
fix token/nickname order in notifications Fix the order of token and nickname in notification messages (reported by yzhang).