Skip to content

Comments

[AutoPR mediaservices/resource-manager] chore: jsonfmt mediaservices#3994

Merged
AutorestCI merged 1 commit intorestapi_auto_mediaservices/resource-managerfrom
restapi_auto_6248
Jun 28, 2019
Merged

[AutoPR mediaservices/resource-manager] chore: jsonfmt mediaservices#3994
AutorestCI merged 1 commit intorestapi_auto_mediaservices/resource-managerfrom
restapi_auto_6248

Conversation

@AutorestCI
Copy link
Contributor

chore: jsonfmt mediaservices

Ran `jsonfmt -w "specification/mediaservices/**/*.json"`
@AutorestCI AutorestCI merged commit 869eb27 into restapi_auto_mediaservices/resource-manager Jun 28, 2019
@AutorestCI AutorestCI deleted the restapi_auto_6248 branch June 28, 2019 15:34
@AutorestCI
Copy link
Contributor Author

This PR has been merged into #3172

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