[AutoPR mysql/resource-manager] chore: jsonfmt mysql#7710
Merged
AutorestCI merged 2 commits intorestapi_auto_mysql/resource-managerfrom Oct 9, 2019
Merged
[AutoPR mysql/resource-manager] chore: jsonfmt mysql#7710AutorestCI merged 2 commits intorestapi_auto_mysql/resource-managerfrom
AutorestCI merged 2 commits intorestapi_auto_mysql/resource-managerfrom