Clean up eslint annotations and remove unused JS function#107331

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:cleanup-js

Feb 1, 2023

-2

Commits on Jan 31, 2023

Clean up eslint annotations and remove unused JS function
GuillaumeGomez
committed