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
Fix MBED_ VERSION #5132
referenced this pull request
Sep 18, 2017
@JanneKiiskila Thanks for finding this, I'll check the automation script to see how that crept in (this bit of functionality was used for the first time with this release). We don't normally take PRs directly against the release branch but as this block only exists there we will need to on this occasion .
Failure looks like device specific and not related to change
Re-triggering the request