diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-08-12 09:41:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-12 09:41:36 +0100 |
| commit | a88a6d5285d60b5d3a94106aeb1359433cd40e8b (patch) | |
| tree | d31e04395c2651b69b637600d8444ae962be747d /.github/ISSUE_TEMPLATE | |
| parent | 6167f756280c6d4d10a5d6dc7453393588d90178 (diff) | |
| parent | db003a4361613216f88b3525b37e34ed8e3019ab (diff) | |
| download | ale-a88a6d5285d60b5d3a94106aeb1359433cd40e8b.zip | |
Merge pull request #1806 from jimenezrick/fix-rustc-linter
Fix #1684: Use the correct flag name in rustc linter
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions