diff options
| author |  Suhail <[email protected]> | 2020-02-06 21:40:40 +0000 |
|---|---|---|
| committer | Suhail <[email protected]> | 2020-02-06 21:40:40 +0000 |
| commit | 9e758d49a905b5e0c7ee8e722c331157888b7ba9 (patch) | |
| tree | 64e95c43444cd9b65bd8f939d9da4dc7736089f8 /bot/__init__.py | |
| parent | Post results and boards to initial channel (diff) | |
| parent | Update CODEOWNERS (diff) | |
Merge branch 'master' into battleships
Diffstat (limited to 'bot/__init__.py')
| -rw-r--r-- | bot/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/__init__.py b/bot/__init__.py index 9e0290a7..4729e50c 100644 --- a/bot/__init__.py +++ b/bot/__init__.py @@ -13,7 +13,7 @@ logging.TRACE = 5 logging.addLevelName(logging.TRACE, "TRACE") -def monkeypatch_trace(self, msg, *args, **kwargs): +def monkeypatch_trace(self: logging.Logger, msg: str, *args, **kwargs) -> None: """ Log 'msg % args' with severity 'TRACE'. |