diff options
| author | Amine <hilalyamine@gmail.com> | 2019-08-19 01:02:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-19 01:02:29 +0200 |
| commit | 91f563da5f508cfcc5dfe6418e2f6333e247ec6e (patch) | |
| tree | 5a0fe9732eb69476bd1f3c5ec787931bda8e24d3 /input | |
| parent | 36c91adddfc16b8c5d04eb66dbb4cf8c25cea321 (diff) | |
| parent | 4a4e238d1f01eefb527bf2c3f4685863477d9eaa (diff) | |
| download | git-bug-91f563da5f508cfcc5dfe6418e2f6333e247ec6e.tar.gz | |
Merge pull request #192 from MichaelMure/github-exporter-label
bridge: Github exporter support case sensitive labels
Diffstat (limited to 'input')
0 files changed, 0 insertions, 0 deletions