diff options
| author |  jesopo | 2018-11-15 07:06:20 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-15 07:06:43 +0000 |
| commit | 64a58fe0419186db6c8c088d215cbf9e30115c4a (patch) | |
| tree | 96049cb67a6f5f2f68a77e9e2c0a878f64f17dbe /src | |
| parent | Log event timing in 1 message, not 2 (diff) | |
Translate 'synchronize' to 'committed to' in modules/github.py's pull request
handling
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions