diff options
author | 2018-06-05 18:04:17 +0100 | |
---|---|---|
committer | 2018-06-05 18:04:31 +0100 | |
commit | 99ba4eea17e41c13b3989d7ca6e35863c895739e (patch) | |
tree | 06c09a46671a3141009d054b638683f5a2a4d7cc /scripts | |
parent | remove deploy.py [ci skip] (diff) |
[Verification] Don't break if another bot removed the message
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions