Release v0.9.10

screamerbg released this 20 Oct 13:45

· 563 commits to master since this release

fbbc9dd

Fixed:

Git re-association with tip of a branch matching the checkout hash, where local and remote branches were treated as same entity (and they might be different if the user hasn't merged with the latest origin/branch). As reported https://github.com/ARMmbed/mbed-os#3037
Handling of arbitrary .lib files
Pylint improvements/fixes (9.9/10)
Documentation improvements

Assets 2