diff options
| author |  jesopo | 2019-09-10 16:41:16 +0100 |
|---|---|---|
| committer | jesopo | 2019-09-10 16:41:16 +0100 |
| commit | d75d33c42cbc9065462485e2d84c29382f6634dc (patch) | |
| tree | 478624639efed3f4fe9719e4baef2a020b644c08 /modules/git_webhooks | |
| parent | get REST API port from settings if it's not in Host header (diff) | |
| signature | ||
"%s", not "%d", cuz `port` is a str
Diffstat (limited to 'modules/git_webhooks')
0 files changed, 0 insertions, 0 deletions