diff options
| author | Michael Muré <batolettre@gmail.com> | 2023-01-14 14:49:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-14 14:49:36 +0100 |
| commit | 2a78fd9c94960d86264e39d37e5a3e25b0a8358d (patch) | |
| tree | 9c850c163c17595bce95a6bfe1c5ad5716371fc2 /webui | |
| parent | 6e5ea512ac82972c6e0da78976f967006e5fe5c4 (diff) | |
| parent | 119fdeefc43c1e5f13879da3ffae48055abfc3fc (diff) | |
| download | git-bug-2a78fd9c94960d86264e39d37e5a3e25b0a8358d.tar.gz | |
Merge pull request #990 from buestad/master
added EventMentionedInCommit
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions