This repository has been archived by the owner on Nov 1, 2023. It is now read-only.
Remove unused coverage recorder from input-tester#2681
Merged
ranweiler merged 2 commits intomicrosoft:mainfrom ranweiler:unused-coverageDec 8, 2022
+7-63
