Skip to content

[AutoPR edgegateway/resource-manager] chore: jsonfmt edgegateway#3106

Merged
AutorestCI merged 1 commit intorestapi_auto_edgegateway/resource-managerfrom
restapi_auto_6059
May 22, 2019
Merged

[AutoPR edgegateway/resource-manager] chore: jsonfmt edgegateway#3106
AutorestCI merged 1 commit intorestapi_auto_edgegateway/resource-managerfrom
restapi_auto_6059

Conversation

@AutorestCI
Copy link
Copy Markdown
Contributor

chore: jsonfmt edgegateway

Ran `jsonfmt -w "specification/edgegateway/**/*.json"`
@AutorestCI AutorestCI merged commit 8529b00 into restapi_auto_edgegateway/resource-manager May 22, 2019
@AutorestCI AutorestCI deleted the restapi_auto_6059 branch May 22, 2019 14:11
@AutorestCI
Copy link
Copy Markdown
Contributor Author

This PR has been merged into #3114

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.

1 participant