[AutoPR portal/resource-manager] chore: jsonfmt portal#5665
Merged
AutorestCI merged 1 commit intorestapi_auto_portal/resource-managerfrom Jun 4, 2019
Merged
[AutoPR portal/resource-manager] chore: jsonfmt portal#5665AutorestCI merged 1 commit intorestapi_auto_portal/resource-managerfrom
AutorestCI merged 1 commit intorestapi_auto_portal/resource-managerfrom