Skip to content

Conversation

@bulislaw
Copy link
Member

@bulislaw bulislaw commented Oct 3, 2016

Description

There was a bug in json syntax in debug.json profile file

Status

READY

Migrations

If this PR changes any APIs or behaviors, give a short description of what API users should do when this PR is merged.

NO

cc: @0xc0170

@0xc0170
Copy link
Contributor

0xc0170 commented Oct 3, 2016

LGTM

cc @theotherjimmy @screamerbg

Copy link
Contributor

@theotherjimmy theotherjimmy left a comment

Choose a reason for hiding this comment

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

Whoops.

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.

This was actually my bad, sorry! Thanks for the catch.

LGTM

@0xc0170 0xc0170 merged commit 2ca59bc into ARMmbed:master Oct 3, 2016
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.

4 participants