docs: change back name of file to OpenAPI#1542
Merged
johanbrandhorst merged 3 commits intogrpc-ecosystem:v2from Jul 22, 2020
Merged
docs: change back name of file to OpenAPI#1542johanbrandhorst merged 3 commits intogrpc-ecosystem:v2from
johanbrandhorst merged 3 commits intogrpc-ecosystem:v2from