Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Messaging update #6115
left a comment
Overall looks good, though I noted a bunch o small stuff (polishing, style related, lock usage etc).