Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Oct 25, 2018

This isn't ready to merge until the links are fixed when their target links are merged.

@AnotherButler
Copy link
Contributor

@scartmell-arm When it's convenient, could you please link to the relevant mbed-os PR?

@ghost
Copy link
Author

ghost commented Nov 13, 2018

ARMmbed/mbed-os#8682

@ashok-rao
Copy link
Contributor

@AnotherButler : Is this coming for 5.11.0 ?

@AnotherButler
Copy link
Contributor

@ashok-rao This is being delivered on a feature branch, not on master.

Copy link
Contributor

@c1728p9 c1728p9 left a comment

Choose a reason for hiding this comment

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

One minor niptick, but the change looks good to me.

@AnotherButler
Copy link
Contributor

New code dependency: ARMmbed/mbed-os#10374

@AnotherButler AnotherButler mentioned this pull request Jul 5, 2019
5 tasks
@maciejbocianski
Copy link
Contributor

I'm checking it out now

@maciejbocianski
Copy link
Contributor

Updated version #1103

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants