Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

fix mistake in Settings initialization#520

Merged
bors[bot] merged 1 commit intomainfrom fix-typo-tolerance-resetMay 3, 2022

Commits