This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

Suggestions #28

Open

Nanoeconomics opened this issue Feb 4, 2022 · 1 comment

Nanoeconomics commented Feb 4, 2022

replace muting with timeout

VIGHNESH-Y commented Feb 4, 2022

The bot uses V12 and timeout is only used for V13.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.