diff options
| author |  Mark <[email protected]> | 2020-12-11 01:55:40 -0800 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-12-11 01:55:40 -0800 |
| commit | e6e8afdca3a11b33c4c0be0ed12039dff12a656f (patch) | |
| tree | 0489461e419639d679ca6e47de59afd36f292378 /bot/__main__.py | |
| parent | Make sure PR artifacts are always uploaded (diff) | |
| parent | Check if error.original is an instance of OSError. (diff) | |
Merge pull request #540 from RohanJnr/error_handler_changes
Modify error handler check for locally handled errors.
Diffstat (limited to 'bot/__main__.py')
0 files changed, 0 insertions, 0 deletions