Skip to content

[AutoPR datamigration/resource-manager] chore: jsonfmt datamigrtion#3710

Merged
AutorestCI merged 1 commit intorestapi_auto_datamigration/resource-managerfrom
restapi_auto_6028
May 22, 2019
Merged

[AutoPR datamigration/resource-manager] chore: jsonfmt datamigrtion#3710
AutorestCI merged 1 commit intorestapi_auto_datamigration/resource-managerfrom
restapi_auto_6028

Conversation

@AutorestCI
Copy link
Contributor

chore: jsonfmt datamigrtion

Ran `jsonfmt -w "specification/datamigration/**/*.json"`
@AutorestCI AutorestCI merged commit a7c6a34 into restapi_auto_datamigration/resource-manager May 22, 2019
@AutorestCI AutorestCI deleted the restapi_auto_6028 branch May 22, 2019 21:56
@AutorestCI
Copy link
Contributor Author

This PR has been merged into #3730

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