Skip to content

Conversation

@jeromecoutant
Copy link
Contributor

Hi
Please add DISCO_F407VG
Thx

@coveralls
Copy link

coveralls commented Oct 30, 2017

Coverage Status

Coverage remained the same at 73.896% when pulling e943777 on jeromecoutant:PR_F407 into f2b0f27 on ARMmbed:master.

Copy link
Contributor

@bridadan bridadan left a comment

Choose a reason for hiding this comment

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

Matches db, looks good!

@theotherjimmy theotherjimmy merged commit 507349b into ARMmbed:master Nov 10, 2017
@jeromecoutant jeromecoutant deleted the PR_F407 branch November 13, 2017 08:42
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.

4 participants