diff options
| author | 2020-10-22 07:09:17 +0000 | |
|---|---|---|
| committer | 2020-10-22 07:09:17 +0000 | |
| commit | fcad0c8421a185ea696d02bf92d78fb7e21fc63e (patch) | |
| tree | d085b79cd8adbf46d4dfd6b6c2f5db43e9dd96e3 /bot/resources | |
| parent | Merge branch 'master' into master (diff) | |
improve message when user not found
Diffstat (limited to 'bot/resources')
0 files changed, 0 insertions, 0 deletions