Skip to content

Fix some bugs reported by eslint#81299

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-eslint-detected-bugs
Jan 26, 2021
Merged

Fix some bugs reported by eslint#81299
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-eslint-detected-bugs

Commits

Commits on Jan 25, 2021