diff options
| author | Seiichi Uchida <seuchida@gmail.com> | 2019-02-19 08:59:12 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-19 08:59:12 +0900 |
| commit | 2599b0110159beeec0cdbf18b8682ed8bc3e0a78 (patch) | |
| tree | 0749aa1e373929dc9ce2bc153e4097d48520ef45 /src | |
| parent | 2c221b6912d914c9fb5a8fb1bf2f39e8675ca0db (diff) | |
| parent | 2b08b73f56ab966aed25e1df9c073cbf469e8fc5 (diff) | |
Merge pull request #3408 from scampi/issue-3111
do not put tracking issue as part of the option's title
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions