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
Merge branch 'master' into feature/check #1679
So there's good news and bad news.
Note to project maintainer: This is a terminal state, meaning the