diff options
| author |  jesopo | 2019-06-10 15:02:03 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-10 15:02:03 +0100 |
| commit | 8135f871c3db4a008703264ce6135e492e07bf0f (patch) | |
| tree | 3189eb65f7654d2e40cbd66d4ad0992919f5d508 /modules/github/ghwebhook.md | |
| parent | Strip font formatting chars before doing message filtering (diff) | |
Change `send_*()` function return hints to be typing.Optional
Diffstat (limited to 'modules/github/ghwebhook.md')
0 files changed, 0 insertions, 0 deletions