Skip to content

chore: minor cleanup for coverage#115

Merged
pavelfeldman merged 2 commits intomicrosoft:masterfrom
mxschmitt:minor-cleanup
Jul 31, 2020
Merged

chore: minor cleanup for coverage#115
pavelfeldman merged 2 commits intomicrosoft:masterfrom
mxschmitt:minor-cleanup

Commits

Commits on Jul 31, 2020