| commit | 7caddb51b1e69a2803f86756e2ce2acff685c7d0 | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Tue Feb 13 15:12:43 2018 +0330 |
| committer | GitHub <noreply@github.com> | Tue Feb 13 15:12:43 2018 +0330 |
| tree | 1e113a444163fa0a5221e7aa3612f2b59d3e54a0 | |
| parent | b969a82e30f0ff7bf6b2ea2600ef170764774a8c [diff] |
Specify the project name for coverity, trying to fix #785