Skip to content

Suppress the error message when we kill the process.#103

Merged
dberenbaum merged 1 commit intomainfrom supress_infoDec 16, 2022

Commits

Commits on Dec 16, 2022