Skip to content

Conversation

screamerbg
Copy link
Contributor

No description provided.

Copy link
Contributor

@cmonr cmonr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A minor nit, but I wouldn't worry about gating the merge on it. LGTM!

#### Mbed CLI and pip compatibility

<span class="notes">**Note:** Mbed CLI toolchain versions older than 1.5.1 are **not compatible** with `pip` version 10.0 (or newer). Please use latest Mbed CLI with newer version of `pip`. More details in Mbed CLI issue [#657](https://github.com/ARMmbed/mbed-cli/issues/657).</span>
<span class="notes">**Note:** Mbed CLI versions older than 1.5.1 are **not compatible** with `pip` version 10.0 (or newer). Also Mbed CLI versions older than 1.7.0 support only Python 2. Please use latest Mbed CLI.</span>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Don't think the 'Also' is needed here.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you want to keep it, you need a comma.

@theotherjimmy
Copy link
Contributor

@screamerbg I think it's time to release 1.7.0

@theotherjimmy theotherjimmy merged commit a182064 into ARMmbed:master May 25, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants