Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
The second issue has been resolved in r37940. There was also yet another issue, this time in the script itself, now resolved in r37941. Please refresh both
If you run into more problems please open new GitHub issues as needed; do not reuse this one.